@swift-5.5.3 protocol P {} protocol Q { func p() -> some P } func foo(q: Q) -> some P { return q.p() }