"B can reach U and U can reach A"

nikomatsakis / nll-rfc

Non-lexical lifetimes RFC.

48 stars 17 forks source link

Closed sanxiyn closed 7 years ago

sanxiyn commented 7 years ago

We should select three points such that B can reach U and U can reach A.

Did you mean "B can reach A and A can reach U"?

nikomatsakis commented 7 years ago

Indeed I did. Correcting now.