Type Checking
typecheck, type checkDefinition
Static analysis that verifies every value is used in a way its declared type allows — a string is not passed where a number is expected, a property that may be absent is not read as if present
A whole category of runtime error moved to edit time. In TypeScript the check is tsc (or vue-tsc for single-file components); a project is only as checked as its strict setting.
The proof that the pieces fit before you run them. It is the reason a refactor across forty files can be done with confidence: the checker finds every call site the change broke.
In this repository: pnpm run typecheck runs vue-tsc in strict mode.
A passing typecheck does not catch a Nuxt UI prop that does not exist —
the wrong prop is silently ignored — so it is a floor, not a ceiling.