On Fri, Aug 30, 2013 at 05:50:40PM -0700, Patrick Walton wrote: > 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.
One thing that I've been wanting to do is to generalize our move rules. Currently, we do not permit you to move data from borrowed locations -- but we COULD safely permit this, under certain conso long as you _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
