Micro Timings

Single-file type-check from utility-types with real-world helper types.

Single-file type-check from utility-types with real-world helper types.

Single-file type-check from utility-types with real-world helper types.

Single-file type-check from utility-types with real-world helper types.

Single-file type-check from ts-toolbelt with real-world helper types.

Single-file type-check from ts-toolbelt with real-world helper types.

Single-file type-check from ts-toolbelt with real-world helper types.

Single-file type-check from ts-toolbelt with real-world helper types.

Single-file type-check from ts-essentials with real-world helper types.

Single-file type-check from ts-essentials with real-world helper types.

Single-file type-check from ts-essentials with real-world helper types.

Single-file type-check from ts-essentials with real-world helper types.

No-emit type-check timing for conditional type discriminating large union regular type fetching speed reasonable.

No-emit type-check timing for many const exports.

Binder and symbol-table setup for syntax-heavy TypeScript input.

Binder and symbol-table setup for syntax-heavy TypeScript input.

Enum literal subtype reduction and related assignability checks.

Control-flow graph construction and narrowing analysis.

Control-flow graph construction and narrowing analysis.

No-emit type-check timing for constraint conflicts n=200.

Declaration emit privacy checks for public APIs that reference private parameter types.

No-emit type-check timing for infer stress n=30.

Control-flow graph construction and narrowing analysis.

Declaration emit privacy checks for public APIs that reference private parameter types.

No-emit type-check timing for infer stress n=25.

Declaration emit privacy checks for public APIs that reference private parameter types.

No-emit type-check timing for bct candidates=200.

No-emit type-check timing for constraint conflicts n=100.

Control-flow graph construction and narrowing analysis.

No-emit type-check timing for intersection n=45.

No-emit type-check timing for mapped complex template keys=200.

No-emit type-check timing for infer stress n=15.

No-emit type-check timing for intersection n=35.

No-emit type-check timing for bct candidates=100.

No-emit type-check timing for constraint conflicts n=50.

Mapped-type and property traversal behavior in the solver.

Mapped-type and property traversal behavior in the solver.

Class declaration binding plus constructor/member shape checking.

Generic signature checking and type-parameter environment setup.

Class declaration binding plus constructor/member shape checking.

Generic signature checking and type-parameter environment setup.

Class declaration binding plus constructor/member shape checking.

Generic signature checking and type-parameter environment setup.

Union construction, reduction, and assignability checks.

Generic signature checking and type-parameter environment setup.

Class declaration binding plus constructor/member shape checking.

Union construction, reduction, and assignability checks.

Mapped-type and property traversal behavior in the solver.

Mapped-type and property traversal behavior in the solver.