+1 to @Joe_Groff 's point about strictness of mutating semantics. That's why in my proposal there are 5 different types of scoped operations on a value. mutating should be used when the operation is mutating, consuming should be used when it's consuming, etc.
To be specific: I want with on ref-types to be borrowing.
1 Like