tautology.err line 11: 'match if' with a constant boolean expression 'foo' = 'foo'