a.rs

fn correct<F>(f: F) where F: for<'a> FnOnce(&'a u32) {
    f(&3)
}

fn dafuck<F>(f: F) where for<'a> F: FnOnce(&'a u32) {
    f(&3)
}

fn main() {
    correct(|x| println!("{}", x));
    dafuck(|x| println!("{}", x));
}