By default, type declarations are highlighted as redundant when the type can be inferred from context, for example:
var pi: number = 3.14
Enabling any of the options below inverts this and suggests inserting an explicit type declaration even where the type can be inferred.