fn f(_: &impl) {}