Checks TypeScript called function
parameters
,
return values
,
assigned expressions
to be of correct type in 'any' type context.