Why does Rust not optimize code assuming that mutable references cannot alias? (stackoverflow.com)