mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
cbc0ec3b88
These are tests that fail in the next commit without this flag. This does not add -verify-ignore-unrelated to all tests with -verify, only the ones that would fail without it. This is NFC since this flag is currently a no-op.
21 lines
996 B
Swift
21 lines
996 B
Swift
// RUN: %empty-directory(%t)
|
|
// RUN: %target-swift-frontend -emit-module %S/Inputs/conformance_availability_overlapping_other.swift -emit-module-path %t/conformance_availability_overlapping_other.swiftmodule
|
|
// RUN: %target-typecheck-verify-swift -verify-ignore-unrelated -I %t
|
|
|
|
// REQUIRES: OS=macosx
|
|
|
|
import conformance_availability_overlapping_other
|
|
|
|
extension HasUnavailableConformance : @retroactive P {}
|
|
|
|
extension HasConditionallyAvailableConformance : @retroactive P {}
|
|
|
|
extension HasAlwaysAvailableConformance : @retroactive P {}
|
|
// expected-warning@-1 {{conformance of 'HasAlwaysAvailableConformance' to protocol 'P' was already stated in the type's module 'conformance_availability_overlapping_other'}}
|
|
|
|
struct G<T : P> {}
|
|
|
|
// None of these should produce a warning about an unavailable conformance.
|
|
func usesConformance(_: G<HasUnavailableConformance>) {}
|
|
func usesConformance(_: G<HasConditionallyAvailableConformance>) {}
|
|
func usesConformance(_: G<HasAlwaysAvailableConformance>) {} |