#![feature(type_alias_impl_trait)] | |
fn main() {} | |
type MyIter<T> = impl Iterator<Item = T>; | |
fn my_iter<T>(t: T) -> MyIter<T> { | |
std::iter::once(t) | |
} | |
fn my_iter2<T>(t: T) -> MyIter<T> { | |
Some(t).into_iter() | |
//~^ ERROR concrete type differs from previous | |
} |