typealias は指定できるパラメータの対象にならない？ Sequence<.Element == Int> とかのときに。typealias でも指定できるんだから、 Generalized Existential でも同じなのが自然か。 @swift-5.0.3
protocol P1 { associatedtype X func f1() -> X } protocol P2 { associatedtype Y: P1 //associatedtype X where X == Y.X typealias X = Y.X func f2() -> Y } func foo<P: P2>(_ p: P) where P.X == Int {}