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