search

nikomatsakis / borrowck

Modeling NLL and the Rust borrowck
Apache License 2.0
75 stars 12 forks source link

modify borrowck rules, particularly around mutable borrows #13

Closed nikomatsakis closed 7 years ago

nikomatsakis commented 7 years ago

This also refactors the "check_read" etc routines into one helper with two orthogonal axes (shallow/deep, read/write).

cc nikomatsakis/nll-rfc#38 @arielb1