1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
// RUN: %target-typecheck-verify-swift -emit-fixits-path %t.remap -fixit-all -diagnostics-editor-mode
// RUN: c-arcmt-test %t.remap | arcmt-test -verify-transformed-files %s.result
protocol P1 {}
protocol P2: P1 {}
struct S1<T> {}
extension S1: P2 where T: P1 {}
// expected-error@-1 {{conditional conformance of type 'S1<T>' to protocol 'P2' does not imply conformance to inherited protocol 'P1'}}
// expected-note@-2 {{did you mean to explicitly state the conformance with the same bounds?}}
// expected-note@-3 {{did you mean to explicitly state the conformance with different bounds?}}
protocol P3 {
associatedtype X
}
struct S2<T, U, V: P3> {}
extension S2: P2 where T: P2, U: P2, V.X: P2 {}
// expected-error@-1 {{conditional conformance of type 'S2<T, U, V>' to protocol 'P2' does not imply conformance to inherited protocol 'P1'}}
// expected-note@-2 {{did you mean to explicitly state the conformance with relaxed bounds?}}
// expected-note@-3 {{did you mean to explicitly state the conformance with the same bounds?}}
// expected-note@-4 {{did you mean to explicitly state the conformance with different bounds?}}
struct S3<T, U, V: P3> {}
extension S3: P2 where T: P2, U: P2, V.X == Int {}
// expected-error@-1 {{conditional conformance of type 'S3<T, U, V>' to protocol 'P2' does not imply conformance to inherited protocol 'P1'}}
// expected-note@-2 {{did you mean to explicitly state the conformance with the same bounds?}}
// expected-note@-3 {{did you mean to explicitly state the conformance with different bounds?}}
struct S4<T, U, V: P3> {}
extension S4: P2 where T: P2, U: P3, V.X: P2 {}
// expected-error@-1 {{conditional conformance of type 'S4<T, U, V>' to protocol 'P2' does not imply conformance to inherited protocol 'P1'}}
// expected-note@-2 {{did you mean to explicitly state the conformance with the same bounds?}}
// expected-note@-3 {{did you mean to explicitly state the conformance with different bounds?}}
|
