Hi there, I wonder if the Rust borrowing experts here (Niko especially, but maybe others) have seen this paper from MSR? The interesting aspect of this paper is that they can "recover" uniqueness of pointers without needing to limit the scope of (what are effectively) borrows. I'm not actually sufficiently familiar with Rust's borrowing to know if this would be useful to you or not.
http://research.microsoft.com/pubs/170528/msr-tr-2012-79.pdf -- Elliott Slaughter "Don't worry about what anybody else is going to do. The best way to predict the future is to invent it." - Alan Kay
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
