Design concerns for borrowing and inout pattern matching

I think it might be beneficial to go further and not require syntactic distinction between borrowing and consuming variable bindings. A while ago I made a post suggesting an ownership inference system instead, where variable bindings are ownership-agnostic. And since borrowing is strictly less capable than consuming, as far as I know, this would be completely backwards compatible.

I'm concerned about an unnecessary cognitive burden, since when a user binds a value to a variable, they just intend to use the value later. They may not have completely thought through whether or not that later usage will require consuming. I don't think binding a value to a variable is a particularly important place to explicitly spell out ownership, compared to the point where the value is actually consumed, which for function call arguments is already elided.