src/test/ui/lazy-type-alias-impl-trait/recursion2.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 // check-pass
   4
   5 type Foo = impl std::fmt::Debug;
   6
   7 fn foo(b: bool) -> Foo {
   8     if b {
   9         return vec![];
  10     }
  11     let x: Vec<i32> = foo(false);
  12     std::iter::empty().collect()
  13 }
  14
  15 fn bar(b: bool) -> impl std::fmt::Debug {
  16     if b {
  17         return vec![]
  18     }
  19     let x: Vec<i32> = bar(false);
  20     std::iter::empty().collect()
  21 }
  22
  23 fn main() {}