588d389dc5
Make negative coherence work when there's impl negative on super predicates r? `@nikomatsakis`
Make negative coherence work when there's impl negative on super predicates r? `@nikomatsakis`