1 // Check that we can statically dispatch methods for object
2 // unsafe trait objects, directly and indirectly
6 #![feature(object_safe_for_dispatch)]
15 impl<'a> Statics for dyn Trait + 'a {}
17 fn static_poly<T: Statics + ?Sized>() {
19 T::generic::<usize>();
22 fn inferred_poly<T: Statics + ?Sized>(t: &T) {
25 T::generic::<usize>();
28 fn call(t: &dyn Trait) {
29 static_poly::<dyn Trait>();
34 static_poly::<dyn Trait>();
36 <dyn Trait>::generic::<usize>()