fn f(_: &impl 'a) {}