Type-aware highlighting is a part of error highlighting that relies on type system.
Some errors can be found without using type information, for example:
Other errors, however, require a knowledge of entities type:
Type-aware highlighting allows to spot such errors before compilatio…