protocol P { associatedtype T = Int } struct S<T>: P { typealias TType = T } print(S<String>.TType.self)
