@swift-6.1.2 protocol P {} func a(a: () -> some P) -> some P { a() }