[steveklabnik]

That might work for now, but something we're working on for the future is making borrows non-lexical, so....

[kibwen]

Borrows may be non-lexical in the future, but deallocation via ownership will always be at the end of a lexical scope. Not only would eager deallocation be bad for performance, it's also a backcompat hazard at this point.