Before merging the branch, we should type-check all modified files to catch type errors early.

I type-checked the configuration files before deploying the application.

I am type-checking the new module before merging it into the main branch.

When the compiler type-checks the code, it often discovers subtle mismatches between function declarations and their usages.

Many developers rely on type checkers to catch subtle bugs before runtime.

Because the legacy library lacked documentation, our type checker flagged several ambiguous type annotations.