@swift-6.1.2 -frontend -emit-sil protocol P {} struct A: P{} func a() -> some P { A() } (edited)