Include outlives endpoints in inference and fix typo in test assertion

nikomatsakis / borrowck

Modeling NLL and the Rust borrowck

Apache License 2.0

75 stars 12 forks source link

Include outlives endpoints in inference and fix typo in test assertion #14

Closed Nashenas88 closed 7 years ago

Nashenas88 commented 7 years ago

From our conversations on gitter, I believe this is where you wanted to go next (sorry if I jumped ahead and we're not ready for this yet). I also found what I think was a copy/paste error in one of the test validations. The origin validation was checked for a second time, and there was none for the exit case on v.

Nashenas88 commented 7 years ago

Just did some additional testing and realized this isn't doing what I thought it did. I'm going to close it.