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.