src/test/ui/type-alias-impl-trait/type-alias-impl-trait-fns.rs

   1 // check-pass
   2
   3 #![feature(type_alias_impl_trait)]
   4
   5 // Regression test for issue #61863
   6
   7 pub trait MyTrait {}
   8
   9 #[derive(Debug)]
  10 pub struct MyStruct {
  11   v: u64
  12 }
  13
  14 impl MyTrait for MyStruct {}
  15
  16 pub fn bla() -> TE {
  17     return MyStruct {v:1}
  18 }
  19
  20 pub fn bla2() -> TE {
  21     bla()
  22 }
  23
  24
  25 type TE = impl MyTrait;
  26
  27 fn main() {}