@swift-main -Xfrontend -emit-sil

public protocol P {} public struct S1: P {} public struct S2: P {} public func makePair() -> (some P, some P) { (S1(), S1()) }

(edited)