Fix various soundness bugs in HRTB / method resolution#19617

Merged

bors merged 3 commits intorust-lang:masterfrom nikomatsakis:issue-19261-2

Dec 12, 2014

+164-23

Commits on Dec 11, 2014

Fix two bugs in HRTB: 1. Categorize early-vs-late bindings on impls when constructing generics, so that we don't add unnecessary region parameters. 2. Correct the DeBruijn indices when substituting…
nikomatsakis
committed
During method resolution, only reborrow if we are not doing an auto-ref.
nikomatsakis
committed
Fix an incorrect type annotation (shadowed lifetime parameter) that was masked by
nikomatsakis
committed