swift-mirror/test/Sema/Inputs/conformance_availability_implied_other.swift at pack-diff - swift-mirror - Gitea: Git with a cup of tea

averello/swift-mirror

mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00

Files

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

9 lines

224 B

Swift

Raw Permalink Blame History

 @available(macOS 200, *)
 extension Conformer1: Derived2 {}
 @available(macOS 100, *)
 extension Conformer2: Derived1 {}
 // expected-error@-1 {{conformance of 'Conformer2' to 'Base' is only available in macOS 200 or newer}}