},
TyArray(ty, len) => {
match len.val.to_const_int().and_then(|i| i.to_u64()) {
- Some(n) if n != 0 => ty.uninhabited_from(visited, tcx),
// If the array is definitely non-empty, it's uninhabited if
// the type of its elements is uninhabited.
+ Some(n) if n != 0 => ty.uninhabited_from(visited, tcx),
_ => DefIdForest::empty()
}
}
}
fn transmute<T, U>(t: T) -> U {
- let Helper::U(u) = Helper::T(t, []); //~ ERROR refutable pattern in local binding: `T(_, _)` not covered
+ let Helper::U(u) = Helper::T(t, []);
+ //~^ ERROR refutable pattern in local binding: `T(_, _)` not covered
u
}