@swift-6.0.3
protocol P { associatedtype T: StringProtocol } struct S<T>: P { typealias T = String } // S<T>のTに制約はないのでなんでもOK print(S<ここに好きなメモを書ける>.T.self) // String enum ここに好きなメモを書ける {}