src/test/ui/existential_types/generic_different_defining_uses.rs

   1 #![feature(existential_type)]
   2
   3 fn main() {}
   4
   5 existential type MyIter<T>: Iterator<Item = T>;
   6
   7 fn my_iter<T>(t: T) -> MyIter<T> {
   8     std::iter::once(t)
   9 }
  10
  11 fn my_iter2<T>(t: T) -> MyIter<T> { //~ ERROR concrete type differs from previous
  12     Some(t).into_iter()
  13 }