summaryrefslogtreecommitdiffstats
path: root/tests/ui/late-bound-lifetimes/late_bound_through_alias.rs
blob: 91839673c1f7a492fc28e9e63af62d9b1c1b395a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
// check-pass

fn f(_: X) -> X {
    unimplemented!()
}

fn g<'a>(_: X<'a>) -> X<'a> {
    unimplemented!()
}

type X<'a> = &'a ();

fn main() {
    let _: for<'a> fn(X<'a>) -> X<'a> = g;
    let _: for<'a> fn(X<'a>) -> X<'a> = f;
}