The core team has approved an amendment to SE-0185 "Synthesizing Equatable and Hashable conformance to allow synthesis of conformances declared on same-file extensions. For example, the following is now well-formed, and will synthesize a conditio...