src/test/ui/type-alias-impl-trait/issue-58951.rs

   1 // check-pass
   2
   3 // revisions: min_tait full_tait
   4 #![feature(min_type_alias_impl_trait)]
   5 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   6 //[full_tait]~^ WARN incomplete
   7
   8 type A = impl Iterator;
   9
  10 fn def_a() -> A { 0..1 }
  11
  12 pub fn use_a() {
  13     def_a().map(|x| x);
  14 }
  15
  16 fn main() {}