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

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