be more precise

This commit is contained in:
Folkert 2021-07-12 17:58:02 +02:00
parent 7d256067f9
commit 1a4ceeeb65

View file

@ -353,7 +353,7 @@ fn to_nonredundant_rows(
vec![simplify(&loc_pat.value)] vec![simplify(&loc_pat.value)]
}; };
if any_has_guard || is_useful(checked_rows.clone(), next_row.clone()) { if matches!(guard, Guard::HasGuard) || is_useful(checked_rows.clone(), next_row.clone()) {
checked_rows.push(next_row); checked_rows.push(next_row);
} else { } else {
return Err(Error::Redundant { return Err(Error::Redundant {