model index lvalues - Githubissues

nikomatsakis / borrowck

Modeling NLL and the Rust borrowck

Apache License 2.0

75 stars 12 forks source link

model index lvalues #9

Open nikomatsakis opened 7 years ago

nikomatsakis commented 7 years ago

We do not model arrays (fixed-length nor slices) nor index lvalues. MIR has a fairly rich notion of index lvalues intended to support slice patterns. We probably want to model that too.