3 // This used to fail MIR validation due to the types on both sides of
4 // an assignment not being equal.
5 // The failure doesn't occur with a check-only build.
7 fn iter_slice<'a, T>(xs: &'a [T]) -> impl Iterator<Item = &'a T> {
12 iter_slice::<()> as fn(_) -> _;