[Pitch] Enable multi-statement closure parameter/result type inference

[Jumhyn (Frederick Kellison-Linn)]

@xwu

This was explicitly considered and rejected in SE-0255. I don’t see that as open for relitigation. Certainly it’s not a part of this proposal.

From the decision:

@Ben_Cohen

The core team also acknowledges that accepting this feature may encourage follow-on proposals that generalize it further, such as [...] allowing elision in multi-statement bodies. Accepting this proposal doesn't necessarily endorse or rule out those future directions.

So I certainly wouldn't consider it ruled out, and if this proposal would make the status quo worse without the corresponding change to return elision in multi-statement closures, I think it's perfectly germane to discuss it here.

That said, I think this particular concern could be addressed with a targeted warning about Void result inference for multi-statement closures, so I don't think that the return elision is necessary, personally.