search

nikomatsakis / borrowck

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

model `enum` #8

Open nikomatsakis opened 7 years ago

nikomatsakis commented 7 years ago

The existing code has no way to model enum types. To completely model MIR we should include downcast lvalues, which would imply support for enum types.