extension X : P { } // expected-error{{type 'X' does not conform to protocol 'P'}} expected-note {{add stubs for conformance}}