// : Same-type constraint type 'P' does not conform to required protocol 'P' extension P where Self == P { func b() {} }