@swift-4.0.3 @swift-4.1.3 @swift-4.2.4 @swift-5.0.3 protocol P { associatedtype X } struct S<X>: P { } (edited)