| // 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: P1 where T: P1 { |
| <#witnesses#> |
| } |
| |
| extension S1: P1 where <#requirements#> { |
| <#witnesses#> |
| } |
| |
| 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: P1 where T: P1, U: P1, V.X: P1 { |
| <#witnesses#> |
| } |
| |
| extension S2: P1 where T: P2, U: P2, V.X: P2 { |
| <#witnesses#> |
| } |
| |
| extension S2: P1 where <#requirements#> { |
| <#witnesses#> |
| } |
| |
| 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: P1 where T: P2, U: P2, V.X == Int { |
| <#witnesses#> |
| } |
| |
| extension S3: P1 where <#requirements#> { |
| <#witnesses#> |
| } |
| |
| 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: P1 where T: P2, U: P3, V.X: P2 { |
| <#witnesses#> |
| } |
| |
| extension S4: P1 where <#requirements#> { |
| <#witnesses#> |
| } |
| |
| 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?}} |
| |
