On 8/30/13 3:39 PM, Patrick Walton wrote:
Thoughts? Does this seem useful? Are there soundness issues I didn't notice?
Brian pointed out a massive soundness hole in this, unfortunately. The problem is that you can read from the original locations; the right to read is not "shut off" during the borrow. I think the fix would have to be to replace this with some sort of "generalized swap" operation.
Patrick _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
