detect illegal mutability for loans

nikomatsakis / borrowck

Modeling NLL and the Rust borrowck

Apache License 2.0

76 stars 11 forks source link

detect illegal mutability for loans #7

Open nikomatsakis opened 7 years ago

nikomatsakis commented 7 years ago

We should not permit a &mut borrow of immutable data -- so for example *r where r: &T. We might want to then add let mut to local variables for completeness.