2 Commits

Author	SHA1	Message	Date
Slava Pestov	8d30df5327	AST: Tweak ConformanceLookupTable::compareConformances() some more ... If two conformances imply a conformance to the same marker protocol, don't diagnose redundancy if they differ by unavailability. Instead, allow the more available conformance to win. This allows declaring a type that conforms to a protocol that inherits from SendableMetatype, followed by an unavailable Sendable conformance on the same type. Fixes rdar://152509409.	2025-06-23 22:54:18 -04:00
Slava Pestov	dad358350a	Sema: Relax diagnosis of implied marker protocol conformances with mismatched availability ... This logic was introduced in https://github.com/swiftlang/swift/pull/75135. The intent was to prevent an implied conformance from overriding an existing unavailable one, for example in the case of Sendable. Let's relax this check a bit to only diagnose if the mismatch is in the unconditional availability, and not OS version. Fixes rdar://142873265.	2025-06-17 14:27:14 -04:00