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