add prototype of the borrow checker

nikomatsakis / borrowck

Modeling NLL and the Rust borrowck

Apache License 2.0

75 stars 12 forks source link

Closed nikomatsakis closed 7 years ago

nikomatsakis commented 7 years ago

it does not yet support unions nor indices, but it is otherwise pretty complete