> So this clearly gets into the alias analysis discussion that I saw earlier > (and didn't fully follow, as I hadn't experimented much with Rust yet).
The problem is that using a reference to something that's not directly owned by the code that uses the reference is unsafe if the referenced thing is overwritten. The solution we're currently using is described in [1]. The main issue with this approach it is alluded to in [2]. [1] https://github.com/graydon/rust/commit/beda82ddf1f482f286a8d9af3402626dc56d6fea [2] https://github.com/graydon/rust/commit/77c1b9650f055932bcad5983b9847517eba6c516 _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
