fn f(_: &dyn) {}