@swift-main protocol P {} struct S: P {} func f() -> () -> some P { return { S() } }