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