Compute hard errors without diagnostics in impl_intersection_has_impossible_obligation#142647

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

compiler-errors:less-work-in-coherencecompiler-errors/rust:less-work-in-coherenceCopy head branch name to clipboard