impl Trait lifetimes regression 1.67 part 2

[aliemjay]

Another regresssion of #103491 with a different failure path:

fn opaque<'a: 'a>() -> impl Sized {}
fn assert_static<T: 'static>(_: T) {}

fn test() {
    let closure = |_| {
        assert_static(opaque());
        //~^ ERROR the opaque type may not live long enough
    };
    closure(&opaque());
}

#![feature(type_alias_impl_trait)]
type Opaque<'a> = impl Sized;
fn define<'a>() -> Opaque<'a> {}

fn test(_: &Opaque<'_>) {
    None::<&'static Opaque<'_>>;
    //~^ ERROR the opaque type may not live long enough
}

It should be fixed by ignoring non-captured lifetimes in:

rust/compiler/rustc_infer/src/infer/outlives/verify.rs

Line 131 in ca1bc7f

let recursive_bound = {

cc @cjgillot

@rustbot label regression-from-stable-to-stable C-bug T-compiler T-types A-impl-trait

[aliemjay]

Note that fixing this issue is necessary for #107516, but might not be sufficient. I'll investigate more...

[apiraino]

WG-prioritization assigning priority (Zulip discussion).

@rustbot label -I-prioritize +P-high