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