@swift-5.3.3 @swift-5.4.3 @swift-main protocol P { associatedtype T } protocol Q: P { typealias T = Int } func f(q: Q) {}