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