extension P { ... } // ↓第一の心の目: ジェネリックなセマンティクスを正しくみつめる extension <Self: P> {} // ↓第二の心の目: self引数を opaque parameter type的に捉える事ができる extension some P { } // ↓第三の心の目: Swift 7 で `P` を `any P` から `some P` に切り替えるので extension P { ... } // もどった！
(edited)