Update the coherence rules to "covered first"#21792

Merged

bors merged 2 commits intorust-lang:masterfrom

nikomatsakis:orphan-ordered-first

Feb 1, 2015

Commits on Jan 31, 2015

Update the coherence rules to "covered first" -- the first type parameter to contain either a local type or a type parameter must contain only covered type parameters.
nikomatsakis
committed
Adjust error message not to mention the self type
nikomatsakis
committed