Rollup merge of #142647 - compiler-errors:less-work-in-coherence, r=lcnr

[perf] Compute hard errors without diagnostics in impl_intersection_has_impossible_obligation

First compute hard errors without diagnostics, then ambiguities with diagnostics since we need to know if any of them overflowed.

1 files changed, 0 insertions, 6 deletions

diff --git a/tests/crashes/139905.rs b/tests/crashes/139905.rs
deleted file mode 100644
index 7da622aaaba..00000000000
--- a/tests/crashes/139905.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-//@ known-bug: #139905
-trait a<const b: bool> {}
-impl a<{}> for () {}
-trait c {}
-impl<const d: u8> c for () where (): a<d> {}
-impl c for () {}