fn foo<'a, 'b: 'a, T: 'a, F: FnOnce(&'a T)>(f: F, x: &'b T) {
    f(x);
}