This inspection reports assignments to undefined properties of explicitly type-annotated variables.