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