Reports assignments to undefined properties of explicitly type-annotated variables.