1 2 3 4 5 6 7
warning[invariant_expr]: invariant boolean expression --> line:4:5 | 4 | true or false | ------------- this expression is always true | = note: rule `test` is always `true`