associatedtypeにデフォルトの型が指定されていた場合、5.10ではconformanceチェックの時だけそっちが使われてしまっているように見える

5:40 AM

@swift-6.0.3 @swift-5.10.1

protocol P1 { associatedtype T = Int } protocol P2 { associatedtype T: StringProtocol } struct S<T>: P1, P2 where T: StringProtocol { }