In my opinion, highlighting should stay, since the pattern can be far away from the matched expression. So how does one change which type is "expected" in the error message?