Fix tidy error
This commit is contained in:
parent
768cbbcd9e
commit
c4d0bb398b
2 changed files with 3 additions and 2 deletions
|
|
@ -263,9 +263,9 @@ impl<'a, 'gcx, 'tcx> TyS<'tcx> {
|
|||
},
|
||||
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()
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -17,7 +17,8 @@ enum Helper<T, U> {
|
|||
}
|
||||
|
||||
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
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue