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.
26 lines
1.1 KiB
Swift
26 lines
1.1 KiB
Swift
// RUN: %target-typecheck-verify-swift -verify-ignore-unrelated -swift-version 4
|
|
|
|
struct NotEquatable { }
|
|
|
|
enum WithArrayOfNotEquatables : Equatable { // expected-error{{type 'WithArrayOfNotEquatables' does not conform to protocol 'Equatable'}} expected-note {{add stubs for conformance}}
|
|
case only([NotEquatable]) // expected-note{{associated value type '[NotEquatable]' does not conform to protocol 'Equatable', preventing synthesized conformance of 'WithArrayOfNotEquatables' to 'Equatable'}}
|
|
}
|
|
|
|
enum WithArrayOfNotEquatables2<T> : Equatable { // expected-error{{type 'WithArrayOfNotEquatables2<T>' does not conform to protocol 'Equatable'}} expected-note {{add stubs for conformance}}
|
|
case only([T]) // expected-note{{associated value type '[T]' does not conform to protocol 'Equatable', preventing synthesized conformance of 'WithArrayOfNotEquatables2<T>' to 'Equatable'}}
|
|
}
|
|
|
|
|
|
// Okay: T is Equatable
|
|
enum WithArrayOfEquatables1<T: Equatable> : Equatable {
|
|
case only([T])
|
|
}
|
|
|
|
enum WithArrayOfEquatables2<T> {
|
|
case only([T])
|
|
}
|
|
|
|
// Okay: T is Equatable here too
|
|
extension WithArrayOfEquatables2: Equatable where T: Equatable { }
|
|
|