1 2 3 4 5 6 7 8
// check-pass // compile-flags: -Znext-solver fn test<T: Iterator>(x: T::Item) -> impl Sized { x } fn main() {}