yet another silly delay_span_bug issue

[Hezuikn]

playground

Code

trait Marker {}
impl<T> Marker for T {}

fn maybe<T>(_t: T) ->
    Option<
        //removing the line below makes it compile
        &'static
    T> {
    None
}

fn _g<T>(t: &'static T) -> &'static impl Marker {
    if let Some(t) = maybe(t) {
        return _g(t);
    }
    todo!()
}

Error output

..: no errors encountered even though `delay_span_bug` issued

..: broken MIR in DefId(0:8 ~ playground[bb98]::_g) (Terminator { source_info: SourceInfo { span: src/main.rs:15:16: 15:21 (#0), scope: scope[0] }, kind: _0 = _g::<&T>(move _8) -> [return: bb4, unwind: bb6] }): call dest mismatch (&impl Marker <- &'static impl Marker): NoSolution

[5225225]

searched nightlies: from nightly-2022-01-01 to nightly-2022-08-02
regressed nightly: nightly-2022-04-30
searched commit range: e85edd9...a707f40
regressed commit: 87937d3

bisected with cargo-bisect-rustc v0.6.3

Host triple: x86_64-unknown-linux-gnu
Reproduce with:

cargo bisect-rustc --start 2022-01-01 --preserve --prompt -- build 

A rollup, but the most likely suspect is #96516 ?

[compiler-errors]

Minimized:

fn opaque<T>(t: T) -> impl Sized {
    opaque(Some(t))
}

#[allow(dead_code)]
fn main() {}

Let me find a good way to explain what the issue is.

edit: left a bit of an explanation in the linked PR.

[gimbling-away]

That issue title is..not particularly ideal.