My: Hoge.Delegate がもしできちゃうとすると、 struct Hoge<T> { protocol Delegate { func a() -> T } } extension My: Hoge.Delegate { func a() -> ??? { ... } } ってなってたときに、 T がわからなくて困るよ。 (edited)