search

nikomatsakis / borrowck

Modeling NLL and the Rust borrowck
Apache License 2.0
76 stars 11 forks source link

propagate loans forwards (instead of backwards) #11

Closed arielb1 closed 7 years ago

arielb1 commented 7 years ago

propagating loans backwards between basic blocks is obviously incorrect

nikomatsakis commented 7 years ago

/me embarassed

Good catch! =)