blob: 6455854f34db89cc8a7bd0e112733a2f4bd0e3de (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// check-pass
fn make<T>() -> T {
panic!()
}
fn take<T>(x: T) {}
fn main() {
let x: for<'a> fn(&'a u32) -> _ = make();
let y: &'static u32 = x(&22);
take::<for<'b> fn(&'b u32) -> &'b u32>(x);
}
|