1 2 3 4 5 6 7 8 9 10
use std::cell::Cell; type Ty = for<'r> fn(Cell<(&'r i32, &'r i32)>); fn f<'r>(f: fn(Cell<(&'r i32, &i32)>)) -> Ty { f //~^ ERROR mismatched types } fn main() {}