summaryrefslogtreecommitdiffstats
path: root/src/test/ui/impl-trait/issues/issue-57464-unexpected-regions.rs
blob: c4f738a34b6f31f9449943522da28113878c31e4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
// 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());
}