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.

Control-flow graph construction and narrowing analysis.

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

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

Control-flow graph construction and narrowing analysis.

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

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.

No-emit type-check timing for template literal n=45.

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

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

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

No-emit type-check timing for template literal n=35.

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

No-emit type-check timing for deep subtype depth=60.

No-emit type-check timing for deep subtype depth=90.

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

No-emit type-check timing for template literal n=20.

No-emit type-check timing for deep subtype depth=30.

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

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

Generated fixture that type-checks typed-array constructor and from() overload surfaces.

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.

Union construction, reduction, and assignability checks.

Recursive utility alias applications that stress generic instantiation, substitution, and cache reuse.

Object spread inference and property merging from project-style update pipelines.

Conditional infer extraction chains that probe repeated evaluation and inference reuse.

Object spread inference and property merging from project-style update pipelines.

Conditional infer extraction chains that probe repeated evaluation and inference reuse.

Object spread inference and property merging from project-style update pipelines.

Mapped-type key remapping with accessor-like property surfaces.

Indexed access over mapped reader helpers, a reduced shape from project-row property access pressure.

Conditional infer extraction chains that probe repeated evaluation and inference reuse.

Object spread inference and property merging from project-style update pipelines.

Mapped-type key remapping with accessor-like property surfaces.

Indexed access over mapped reader helpers, a reduced shape from project-row property access pressure.

Conditional infer extraction chains that probe repeated evaluation and inference reuse.

Mapped-type key remapping with accessor-like property surfaces.

Indexed access over mapped reader helpers, a reduced shape from project-row property access pressure.

Mapped-type key remapping with accessor-like property surfaces.

Indexed access over mapped reader helpers, a reduced shape from project-row property access pressure.

Mapped-type and property traversal behavior in the solver.

Mapped-type and property traversal behavior in the solver.

Mapped-type and property traversal behavior in the solver.

Distributive conditional types over broad unions.

Distributive conditional types over broad unions.

Distributive conditional types over broad unions.

Recursive generic instantiation and cache behavior under deep type expansion.

Recursive generic instantiation and cache behavior under deep type expansion.

Recursive generic instantiation and cache behavior under deep type expansion.