src/test/ui/associated-types/issue-63593.rs

   1 #![feature(associated_type_defaults)]
   2
   3 // Tests that `Self` is not assumed to implement `Sized` when used as an
   4 // associated type default.
   5
   6 trait Inner<S> {}
   7
   8 trait MyTrait {
   9     type This = Self;  //~ error: size for values of type `Self` cannot be known
  10     fn something<I: Inner<Self::This>>(i: I);
  11 }
  12
  13 fn main() {}