// Regression test for issue 57464.
//
// Closure are (surprisingly) allowed to outlive their signature. As such it
// was possible to end up with `ReScope`s appearing in the concrete type of an
// opaque type. As all regions are now required to outlive the bound in an
// opaque type we avoid the issue here.

// check-pass

struct A<F>(F);

unsafe impl <'a, 'b, F: Fn(&'a i32) -> &'b i32> Send for A<F> {}

fn wrapped_closure() -> impl Sized {
    let f = |x| x;
    f(&0);
    A(f)
}

fn wrapped_closure_with_bound() -> impl Sized + 'static {
    let f = |x| x;
    f(&0);
    A(f)
}

fn main() {
    let x: Box<dyn Send> = Box::new(wrapped_closure());
    let y: Box<dyn Send> = Box::new(wrapped_closure_with_bound());
}