public protocol P<A> { associatedtype A } struct S1<A>: P {} struct S2<A>: P {} public func makeP() -> <T: P, U: P where T.A == U.A> (T, U) { return (S1<Int>(), S2<Int>()) }public protocol P<A> { associatedtype A } struct S1<A>: P {} struct S2<A>: P {} public func makeP() -> <T: P, U: P where T.A == U.A> (T, U) { return (S1<Int>(), S2<Int>()) }// swift-interface-format-version: 1.0 // swift-compiler-version: Apple Swift version 5.8-dev (LLVM 515f8ef5b9ec986, Swift 7435c936a6a67d0) // swift-module-flags: -target x86_64-apple-macosx12.0 -enable-objc-interop -module-name i import Swift import _Concurrency #if compiler(>=5.3) && $PrimaryAssociatedTypes2 public protocol P<A> { associatedtype A } #else public protocol P { associatedtype A } #endif public func makeP() -> (T, U)