tautologysub.err line 9: class matching rule evaluated to a constant boolean expression: 'foo' = 'bar'