| // RUN: %target-typecheck-verify-swift | |
| protocol P1 {} | |
| protocol P2 {} | |
| struct Var<N> {} | |
| extension Var : P2 where N : P1 { } | |
| protocol P3 {} | |
| extension Var : P3 where Self : P2 {} // expected-error {{type 'Var<N>' in conformance requirement does not refer to a generic parameter or associated type}} |