src/test/ui/typeck/issue-80207-unsized-return.rs

   1 // check-pass
   2
   3 trait Foo {
   4     fn do_stuff() -> Self;
   5 }
   6
   7 trait Bar {
   8     type Output;
   9 }
  10
  11 impl<T> Foo for dyn Bar<Output = T>
  12 where
  13     Self: Sized,
  14 {
  15     fn do_stuff() -> Self {
  16         todo!()
  17     }
  18 }
  19
  20 fn main() {}