Robert Widmann 06d27f08fd Define @_implicitly_synthesizes_nested_requirement ...

State the previously unstated nested type requirement that CodingKeys adds to the witness requirements of a given type. The goal is to make this member cheap to synthesize, and independent of the expensive protocol conformance checks required to append it to the member list.

Further, this makes a clean conceptual separation between what I'm calling "nested type requirements" and actual type and value requirements.

With luck, we'll never have to use this attribute anywhere else.

2019-12-10 16:28:50 -08:00

60 KiB

Raw Blame History

View Raw