[Accepted with modifications] SE-0432: Borrowing and consuming pattern matching for noncopyable types

The review of SE-0432: Borrowing and consuming pattern matching for noncopyable types has concluded and the proposal has been accepted with modifications.

Review feedback was light, but did raise the concern over this proposal elevating the status of stored properties as distinct from computed properties in being borrowable. The language steering group acknowledges that this highlights the gap that is expect to be filled by read coroutines. The addition of borrowing bindings only in switches rather than as a general feature also seemed undesirable.

As such, the proposal authors agreed to subset out the explicit borrowing syntax from the proposal, leaving it as a future direction pending wider support in the language. The proposal revision can be found here.

Thank you for everyone who participated in the pitch and review!

Ben Cohen
Review Manager

9 Likes