I disagree. I think "found" type should be the type of the expression highlighted, e.g. let a: int = 'a' highlights 'a' and says expected 'int' but found 'char'. In this case the pattern is highlighted, so either pattern should be "found" type, or highlighting should change.