Comment
Comment by legerdemain
You can 100% have multiple mutable references to the same variable in the same scope, without the first one getting dropped. For example:
Some people use a mental model of reference lifetimes that allows "discontinuous lifetimes" where the valid region has holes. I don't think that's how the compiler models reborrowing, and even under that model, `mut1` is created before `mut2` and gets dropped after `mut2`.