588d389dc5
Make negative coherence work when there's impl negative on super predicates r? `@nikomatsakis`
For more information about how rustc works, see the rustc dev guide.