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