TypeScript only does enough run-time argument checking to support default argument values. Full run-time type checking would have overhead. It would also be un

TypeScript only does enough run-time argument checking to support default argument values. Full run-time type checking would have overhead. It would also be unnecessary in places where data flows from Typescript function to Typescript function — those places should already be foolproof after the compile-time checks.