This article reads like AI and lacks coherence in crucial parts of the attempted "explanation", specifically:

TypeScript compiler checks the code: ✓ Types match (at compile-time)