member constraints involving external regions are scuffed

[lcnr]

struct Inv<'a>(Option<*mut &'a ()>);
fn foo() -> impl Sized {
    let _: fn() -> Inv<'static> = || {
        foo()
    };
    loop {}
}

When borrow checking the closure with signature fn() -> Inv<'external> we've got a defining use of the opaque with the hidden type Inv<'external>.

The member constraint 'external member ['static] does not choose 'static here as it fails the upper bound check. This should work, properly supporting it is hard :>