kateinoigakukun

protocol P { associatedtype T1 } protocol HasT2 { associatedtype T2 } struct A<T>: P { typealias T1 = T } extension A: HasT2 where T == Int { typealias T2 = String } print(A<String>.T2.self)

Version:

swift-4.1.1-RELEASE

Output:

String

Error: