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

   1 // revisions: min_tait full_tait
   2 #![feature(min_type_alias_impl_trait)]
   3 #![cfg_attr(full_tait, feature(type_alias_impl_trait))]
   4 //[full_tait]~^ WARN incomplete
   5
   6 fn main() {}
   7
   8 type MyIter<T> = impl Iterator<Item = T>;
   9
  10 fn my_iter<T>(t: T) -> MyIter<T> {
  11     std::iter::once(t)
  12 }
  13
  14 fn my_iter2<T>(t: T) -> MyIter<T> { //~ ERROR concrete type differs from previous
  15     Some(t).into_iter()
  16 }