pub(crate) fn is_useful(
pattern: &PatStack,
prev_patterns: &Matrix,
) -> Usefulness
Expand description
Checks if pattern
is useful with respect to prev_patterns
, that is, if the
pattern matches some value which is not matched by any pattern in prev_patterns