Skip default methods if normalization fails#23486

Merged

bors merged 1 commit intorust-lang:masterfrom

nikomatsakis:issue-23485

Mar 28, 2015

Commits on Mar 27, 2015

When testing whether a default method predicates are satisfiable,
nikomatsakis
committed