1 2 3 4 5 6 7
warning[invariant_expr]: invariant boolean expression --> line:6:5 | 6 | 3 of them | --------- this expression is always false | = note: the expression requires 3 matching patterns out of 2