src/test/ui/object-safety/object-safety-sized-2.rs

   1 // Check that we correctly prevent users from making trait objects
   2 // from traits where `Self : Sized`.
   3 //
   4 // revisions: curr object_safe_for_dispatch
   5
   6 #![cfg_attr(object_safe_for_dispatch, feature(object_safe_for_dispatch))]
   7
   8 trait Bar
   9     where Self : Sized
  10 {
  11     fn bar<T>(&self, t: T);
  12 }
  13
  14 fn make_bar<T:Bar>(t: &T) -> &dyn Bar {
  15     //[curr]~^ ERROR E0038
  16     t
  17     //[object_safe_for_dispatch]~^ ERROR E0038
  18 }
  19
  20 fn main() {
  21 }