Static checks

Also written: TypeScript

Checks that catch bugs without running the code, such as a linter or TypeScript's type checking.