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 trait Bar
   5     where Self : Sized
   6 {
   7     fn bar<T>(&self, t: T);
   8 }
   9
  10 fn make_bar<T:Bar>(t: &T) -> &Bar {
  11         //~^ ERROR E0038
  12     loop { }
  13 }
  14
  15 fn main() {
  16 }