1 // Check that we correctly prevent users from making trait objects
2 // from traits with static methods.
4 // revisions: curr object_safe_for_dispatch
6 #![cfg_attr(object_safe_for_dispatch, feature(object_safe_for_dispatch))]
12 fn diverges() -> Box<dyn Foo> {
13 //[curr]~^ ERROR E0038
22 let b: Box<dyn Foo> = Box::new(Bar);
23 //[object_safe_for_dispatch]~^ ERROR E0038