You could change the drop semantics to drop as soon as a variable is no longer used/borrowed (as opposed to now when it goes out of scope). But IMO that does n

You could change the drop semantics to drop as soon as a variable is no longer used/borrowed (as opposed to now when it goes out of scope). But IMO that does not seem like it's worth it considering how less predictable it would make drop.