@swift-5.0.3 @swift-main @swift-4.2.4

public protocol P1 { associatedtype X } struct A { } protocol P2: P1 { associatedtype X = A func foo() } public struct B {} extension B: P2 { }

(edited)