@swift-main @swift-5.8.1 @swift-5.7.3 protocol P<A> { associatedtype A } struct S: P<String> {} func f<T: P<String>>(_ a: T) {}