src/test/ui/issues/issue-20009.rs

   1 // check-pass
   2 // Check that associated types are `Sized`
   3
   4 // pretty-expanded FIXME #23616
   5
   6 trait Trait {
   7     type Output;
   8
   9     fn is_sized(&self) -> Self::Output;
  10     fn wasnt_sized(&self) -> Self::Output { loop {} }
  11 }
  12
  13 fn main() {}