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

1.7 KiB

Raw Permalink Blame History

View Raw