On 1/3/14 2:25 AM, Stefan Plantikow wrote:
Maybe completely off here but why is mutability not tracked by the region system? Wouldn’t that help solve this issue? i.e. assignment to a mutable lvalue would only be allowed from an rvalue in a mutable region. Haven’t thought about how that relates to freezing/thawing.
It kind of is, in that mutation generally requires a unique ownership path. See the comments in the borrow checker for more details.
Patrick _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev