Elaborate trait obligations when typechecking impls#43786

Merged

bors merged 6 commits intorust-lang:masterfrom

scalexm:issue-43784

Aug 25, 2017

Commits on Aug 23, 2017

add a comment
nikomatsakis
committed

Commits on Aug 25, 2017

Change to `Elaborate::None` inside `compute_projection`
scalexm
committed