search

nikomatsakis / nll-rfc

Non-lexical lifetimes RFC.
48 stars 17 forks source link

vec-push-ref code and CFG do not match #12

Closed RalfJung closed 7 years ago

RalfJung commented 7 years ago

The code has the use in the else, while the CFG has it after the conditional merges again. The CFG seems to cover the more interesting case.

nikomatsakis commented 7 years ago

I think I aligned these, but perhaps not in the way you wanted. (That is, I made the CFG match the code.) It might be interesting to just work out both of them in the RFC.

nikomatsakis commented 7 years ago

I'm gonna' close, in any case. =)