tests/crashes/122904-2.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//@ known-bug: #122904
trait T {}

type Alias<'a> = impl T;

struct S;
impl<'a> T for &'a S {}

#[define_opaque(Alias)]
fn with_positive(fun: impl Fn(Alias<'_>)) {
    with_positive(|&n| ());
}

#[define_opaque(Alias)]
fn main(Alias<'_>) {
    with_positive(|&a| ());
}