integrate description of borrowck

nikomatsakis / nll-rfc

Non-lexical lifetimes RFC.

48 stars 17 forks source link

integrate description of borrowck #2

Closed nikomatsakis closed 7 years ago

nikomatsakis commented 7 years ago

It's not entirely clear how much to go into this, versus splitting things into another RFC, but I think it's probably worth covering some aspects of the borrowck implementation:

Nested mutable borrows
Solving rust-lang/rustc#10520 by having an assignment to a path P of type &mut T kill all loans that are derived from P. We have to justify that this is safe, but I believe that it is.

nikomatsakis commented 7 years ago

Done but does not cover nested mutable borrows yet

nikomatsakis commented 7 years ago

Not clear if that is necessary.

nikomatsakis commented 7 years ago

Done, good enough.