Reports incorrect type of:
a parameter in a function call
a return value
an assigned expression
TypeScript code is ignored.