Change:
<!-- [31mICE[0m: Rustc '' 'thread 'rustc' panicked at 'downgradetodelayedbug: cannot downgrade Warning to DelayedBug: not an error'', 'thread 'rustc' panicked at 'downgradetodelayedbug: cannot downgrade Warning to DelayedBug: not an error'' File: --auto-reduced (treereduce-rust): original: Version information ` Command: <!-- Include a backtrace in the code block by setting in your environment. E.g. . --<details<summary<strongProgram output</strong</summary<p</p</details<!-- query stack: [specializationgraphof] building specialization graph of trait [coherent_trait] coherence checking all impls of trait [analysis] running analysis passes on this crate --
Regression in nightly-2023-03-22 commit[0] 2023-03-20: Auto merge of - euclio:windows-rs, r=ChrisDenton commit[1] 2023-03-20: Auto merge of - Zoxc:split-execute-job, r=cjgillot,michaelwoerister commit[2] 2023-03-21: Auto merge of - ChrisDenton:libntdll, r=Mark-Simulacrum commit[3] 2023-03-21: Auto merge of - TDecki:dec2flt-inline, r=thomcc commit[4] 2023-03-21: Auto merge of - saethlin:remove-vec-as-ptr-assume, r=thomcc commit[5] 2023-03-21: Auto merge of - Nilstrieb:rollup-seb5xsa, r=Nilstrieb commit[6] 2023-03-21: Auto merge of - ferrocene:pa-test-metrics, r=Mark-Simulacrum commit[7] 2023-03-21: Auto merge of - compiler-errors:local-key, r=cjgillot commit[8] 2023-03-21: Auto merge of - matthiaskrgr:rollup-odn02wu, r=matthiaskrgr ERROR: no CI builds available between and within last 167 days
oh nevermind, still crashes with next-solver-coherence :cryingcatface:

Discussion:
impl_span: Span, err: &mut Diag<'_, G>, ) { <del> if (overlap.trait_ref, overlap.self_ty).references_error() { err.downgrade_to_delayed_bug(); } </del> match tcx.span_of_impl(overlap.with_impl) { Ok(span) => { err.span_label(span, "first implementation here");

) }); <ins> // Don't report overlap errors if the header references error if let Err(err) = (overlap.trait_ref, overlap.self_ty).error_reported() { return Err(err); } </ins> match used_to_be_allowed { None => { let reported = if overlap.with_impl.is_local()

<ins> error[E0726]: implicit elided lifetime not allowed here --> $DIR/skip-reporting-if-references-err.rs:10:9 | LL | impl<T> ToUnit for T {} |         ^^^^^^ expected lifetime parameter | help: indicate the anonymous lifetime | LL | impl<T> ToUnit<'_> for T {} |               ++++ error[E0277]: the trait bound `for<'a> (): ToUnit<'a>` is not satisfied --> $DIR/skip-reporting-if-references-err.rs:15:29 | LL | impl Overlap for for<'a> fn(<() as ToUnit<'a>>::Unit) {} |                             ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> ToUnit<'a>` is not implemented for `()` error[E0277]: the trait bound `for<'a> (): ToUnit<'a>` is not satisfied --> $DIR/skip-reporting-if-references-err.rs:15:18 | LL | impl Overlap for for<'a> fn(<() as ToUnit<'a>>::Unit) {} |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> ToUnit<'a>` is not implemented for `()` error: aborting due to 3 previous errors Some errors have detailed explanations: E0277, E0726. For more information about an error, try `rustc --explain E0277`. </ins>

<ins> error[E0726]: implicit elided lifetime not allowed here --> $DIR/skip-reporting-if-references-err.rs:10:9 | LL | impl<T> ToUnit for T {} |         ^^^^^^ expected lifetime parameter | help: indicate the anonymous lifetime | LL | impl<T> ToUnit<'_> for T {} |               ++++ error: aborting due to 1 previous error For more information about this error, try `rustc --explain E0726`. </ins>

<ins> // Regression test for #121006. //@ revisions: current next //@ ignore-compare-mode-next-solver (explicit revisions) //@[next] compile-flags: -Znext-solver trait ToUnit<'a> { type Unit; } impl<T> ToUnit for T {} //~^ ERROR implicit elided lifetime not allowed here trait Overlap {} impl<U> Overlap for fn(U) {} impl Overlap for for<'a> fn(<() as ToUnit<'a>>::Unit) {} //[current]~^ ERROR the trait bound `for<'a> (): ToUnit<'a>` is not satisfied //[current]~| ERROR the trait bound `for<'a> (): ToUnit<'a>` is not satisfied fn main() {} </ins>