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