@swift-5.7.3 protocol P {} struct S: P {} func f1() -> some P { S() } func f2() -> () -> some P { { S() } }