17 lines
234 B
Rust
17 lines
234 B
Rust
|
//@ 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;
|
||
|
|
}
|