v0.1.32

What's Changed

• fix(checker): render narrowed type for unknown/any predicate-guard source in TS2322 (#14009) by @mohsen1 in #14017
• perf(checker): memoize context-free type-position identifier resolution by @mohsen1 in #13996
• fix(checker): render flow-narrowed unknown/any source type in TS2322 display (#14009) by @mohsen1 in #14019
• fix(checker): exempt for-of/for-in destructured loop bindings from TS2454 in closures (#14013) by @mohsen1 in #14021
• fix(checker): constructor throw paths don't constrain definite assignment (TS2564) by @mohsen1 in #14022
• fix(checker): defer re-entrant constructor-cycle fallback through the ClassConstructor companion (#13947) by @mohsen1 in #13995
• fix(checker): reset per-file resolution guards on every fresh-check file boundary by @mohsen1 in #14023
• test(checker): make built-in collection heritage guards load real libs by @mohsen1 in #14024
• fix(checker): node-global in type position gets install-@types diagnostic (TS2591) by @mohsen1 in #14025
• test(checker): pin same-base recursive-conditional false-negative witness (#8432) by @mohsen1 in #14026
• fix(solver): keyof of a mapped type is its constraint, not string | number by @mohsen1 in #14027
• perf(solver): share this-bearing relation verdicts keyed by the resolved this binding (#13828) by @mohsen1 in #14030
• fix(resolver): exports field blocks typesVersions fallback for subpaths by @mohsen1 in #14028
• infra(test): serialize cargo-nextest runs and reap stale orchestrators (#13982) by @mohsen1 in #14031
• fix(checker): debug-only purity invariant for stamp-keyed assignability memos (#13980) by @mohsen1 in #14029
• perf(checker): on-demand forcing for lib-interface materialization (#12101, ~1.8x comlink) by @mohsen1 in #14016
• fix(lsp): exclude non-lexical name positions from reference matching by @mohsen1 in #14035
• fix(emit): keep synthetic class-extends base dependency in source order by @mohsen1 in #14034
• test(checker): broaden const-Readonly-shadowing parity guards for deeplyNestedMappedTypes by @mohsen1 in #14032
• fix(cli): defer node_modules declaration root checks by @mohsen1 in #14011
• fix(lsp): expand shorthand/destructuring rename on the symbol-based path by @mohsen1 in #14039
• fix(emit): lower generator yield* via __values delegation at ES5 by @mohsen1 in #14040
• fix(resolver): single owner for import-site ESM/CJS classification by @mohsen1 in #14037
• fix(lsp): claim references-full locations after the seed text-match check by @mohsen1 in #14044
• fix(checker): report implicit-any params an annotated var initializer cannot type (TS7006) by @mohsen1 in #14042
• fix(emit): inline single-element nested binding patterns in ES5 destructuring by @mohsen1 in #14047
• fix(website): require application compatibility rows by @mohsen1 in #14048
• test(binder,lsp): lock module-vs-script .d.ts global-scope contract (#12372) by @mohsen1 in #14049
• test(resolver): guard real-world npm import-shape resolution (#13826) by @mohsen1 in #14045
• fix(checker): report TS2741/TS2739 for missing props against nullable-object unions by @mohsen1 in #14051
• perf(checker): keep single-signature lib method-call returns lazy (#13983) by @mohsen1 in #14052
• fix(website): download application compat artifacts in bench publish by @mohsen1 in #14058
• fix(solver): relate same-base opaque applications by structural identity (#13609) by @mohsen1 in #14057
• test(checker): lock deeply-nested mapped-reducer relation past the recursion cap by @mohsen1 in #14053
• fix(checker): report TS2322 for missing props against merged object-intersection targets by @mohsen1 in #14062
• fix(checker): emit TS1375 and TS1378 independently for top-level await by @mohsen1 in #14060
• perf(solver): pre-fetch Application union members so the sort comparator does no interner lookups by @mohsen1 in #14059
• fix(emit): fold public auto-accessor storage into private-name init (#14064) by @mohsen1 in #14065
• fix(checker): index a generic type parameter by a constraint unique-symbol key by @mohsen1 in #14063
• fix(emit): lower ES2015+ CommonJS export destructuring via flatten form by @mohsen1 in #14055
• fix(website): gate benchmark deploys on app compat readiness by @mohsen1 in #14070
• fix(module-resolution): resolve node: protocol builtins like tsc by @mohsen1 in #14071
• fix(solver): resolve indexed access for number-subtype keys against a numeric index signature by @mohsen1 in #14056
• fix(emit): order ES5 class instance field initializers by source position by @mohsen1 in #14067
• fix(emit): allocate fresh temp for nested ES5 param binding default by @mohsen1 in #14069
• test(checker): correct deeplyNestedMappedTypes same-base bailout to tsc parity by @mohsen1 in #14072
• fix(checker): treat as/<T> type-assertion arguments as non-fresh in literal elaboration by @mohsen1 in #14073
• fix(solver): canonicalize infer-parameter identity so it does not fragment on default/constraint snapshot by @mohsen1 in #14074
• fix(module-resolution): resolve tsconfig paths without baseUrl by @mohsen1 in #14075
• fix(solver): relate same-base generic interface instantiations when every type-param usage is bivariant by @mohsen1 in #14078
• fix(emit): down-level destructuring patterns in es5 catch clauses by @mohsen1 in #14081
• fix(emit): capture ES5 optional-call this-receiver inside the nullish guard by @mohsen1 in #14077
• fix(emit): key ES5 computed object-literal layout on the source multiLine flag by @mohsen1 in #14082
• refactor(arch): enforce CheckerContext lifetime→destination-shell contract by @mohsen1 in #14086
• fix(emit): lower ES5 destructuring in async/generator var decls and catch clauses by @mohsen1 in #14085
• fix(checker): preserve precise ES2021–ES2025 target for target-gated diagnostics by @mohsen1 in #14084
• fix(solver): drop the const modifier from canonical type-parameter identity by @mohsen1 in #14090
• fix(bench): surface compile compat for bench-excluded required rows (type-challenges) by @mohsen1 in #14093
• fix(solver): absorb the error sentinel in the raw intersection path by @mohsen1 in #14091
• feat(bench): time passing compiler canaries on the perf comparison page by @mohsen1 in #14094
• fix(solver): absorb top/bottom sentinels in union_preserve_members by @mohsen1 in #14089
• feat(website): meaningful labels, per-project descriptions, README rendering on benchmark pages by @mohsen1 in #14092
• fix(checker): honor authoritative module resolution for relative imports (moduleSuffixes) by @mohsen1 in #14097
• fix(checker): guard every under-applied type-argument fill against the error sentinel by @mohsen1 in #14099
• fix(solver): erase bound type-parameter name from canonical identity (full alpha-equivalence) by @mohsen1 in #14096
• perf(checker): memoize spelling-suggestion scan per reference node by @mohsen1 in #14103
• perf(solver): short-circuit Lazy heritage subtyping by nominal reachability by @mohsen1 in #14104
• chore(readme): refresh benchmark image and stats by @mohsen1 in #14106
• fix(solver): canonicalize the inner type of NoInfer<T> for structural identity by @mohsen1 in #14109
• fix(checker): strip undefined from defaulted params with a deferred annotation (TS2488/TS18048) by @mohsen1 in #14108
• fix(solver): accept unknown source against deferred-conditional targets with top-type branches by @mohsen1 in #14105
• fix(solver): drop cosmetic value-names from canonical type identity by @mohsen1 in #14115
• chore(release): bump try-tsz publish version to 0.1.32 by @mohsen1 in #14118

Full Changelog: v0.1.31...v0.1.32

What's Changed

• fix(checker): render narrowed type for unknown/any predicate-guard source in TS2322 (#14009) by @mohsen1 in #14017
• perf(checker): memoize context-free type-position identifier resolution by @mohsen1 in #13996
• fix(checker): render flow-narrowed unknown/any source type in TS2322 display (#14009) by @mohsen1 in #14019
• fix(checker): exempt for-of/for-in destructured loop bindings from TS2454 in closures (#14013) by @mohsen1 in #14021
• fix(checker): constructor throw paths don't constrain definite assignment (TS2564) by @mohsen1 in #14022
• fix(checker): defer re-entrant constructor-cycle fallback through the ClassConstructor companion (#13947) by @mohsen1 in #13995
• fix(checker): reset per-file resolution guards on every fresh-check file boundary by @mohsen1 in #14023
• test(checker): make built-in collection heritage guards load real libs by @mohsen1 in #14024
• fix(checker): node-global in type position gets install-@types diagnostic (TS2591) by @mohsen1 in #14025
• test(checker): pin same-base recursive-conditional false-negative witness (#8432) by @mohsen1 in #14026
• fix(solver): keyof of a mapped type is its constraint, not string | number by @mohsen1 in #14027
• perf(solver): share this-bearing relation verdicts keyed by the resolved this binding (#13828) by @mohsen1 in #14030
• fix(resolver): exports field blocks typesVersions fallback for subpaths by @mohsen1 in #14028
• infra(test): serialize cargo-nextest runs and reap stale orchestrators (#13982) by @mohsen1 in #14031
• fix(checker): debug-only purity invariant for stamp-keyed assignability memos (#13980) by @mohsen1 in #14029
• perf(checker): on-demand forcing for lib-interface materialization (#12101, ~1.8x comlink) by @mohsen1 in #14016
• fix(lsp): exclude non-lexical name positions from reference matching by @mohsen1 in #14035
• fix(emit): keep synthetic class-extends base dependency in source order by @mohsen1 in #14034
• test(checker): broaden const-Readonly-shadowing parity guards for deeplyNestedMappedTypes by @mohsen1 in #14032
• fix(cli): defer node_modules declaration root checks by @mohsen1 in #14011
• fix(lsp): expand shorthand/destructuring rename on the symbol-based path by @mohsen1 in #14039
• fix(emit): lower generator yield* via __values delegation at ES5 by @mohsen1 in #14040
• fix(resolver): single owner for import-site ESM/CJS classification by @mohsen1 in #14037
• fix(lsp): claim references-full locations after the seed text-match check by @mohsen1 in #14044
• fix(checker): report implicit-any params an annotated var initializer cannot type (TS7006) by @mohsen1 in #14042
• fix(emit): inline single-element nested binding patterns in ES5 destructuring by @mohsen1 in #14047
• fix(website): require application compatibility rows by @mohsen1 in #14048
• test(binder,lsp): lock module-vs-script .d.ts global-scope contract (#12372) by @mohsen1 in #14049
• test(resolver): guard real-world npm import-shape resolution (#13826) by @mohsen1 in #14045
• fix(checker): report TS2741/TS2739 for missing props against nullable-object unions by @mohsen1 in #14051
• perf(checker): keep single-signature lib method-call returns lazy (#13983) by @mohsen1 in #14052
• fix(website): download application compat artifacts in bench publish by @mohsen1 in #14058
• fix(solver): relate same-base opaque applications by structural identity (#13609) by @mohsen1 in #14057
• test(checker): lock deeply-nested mapped-reducer relation past the recursion cap by @mohsen1 in #14053
• fix(checker): report TS2322 for missing props against merged object-intersection targets by @mohsen1 in #14062
• fix(checker): emit TS1375 and TS1378 independently for top-level await by @mohsen1 in #14060
• perf(solver): pre-fetch Application union members so the sort comparator does no interner lookups by @mohsen1 in #14059
• fix(emit): fold public auto-accessor storage into private-name init (#14064) by @mohsen1 in #14065
• fix(checker): index a generic type parameter by a constraint unique-symbol key by @mohsen1 in #14063
• fix(emit): lower ES2015+ CommonJS export destructuring via flatten form by @mohsen1 in #14055
• fix(website): gate benchmark deploys on app compat readiness by @mohsen1 in #14070
• fix(module-resolution): resolve node: protocol builtins like tsc by @mohsen1 in #14071
• fix(solver): resolve indexed access for number-subtype keys against a numeric index signature by @mohsen1 in #14056
• fix(emit): order ES5 class instance field initializers by source position by @mohsen1 in #14067
• fix(emit): allocate fresh temp for nested ES5 param binding default by @mohsen1 in #14069
• test(checker): correct deeplyNestedMappedTypes same-base bailout to tsc parity by @mohsen1 in #14072
• fix(checker): treat as/<T> type-assertion arguments as non-fresh in literal elaboration by @mohsen1 in #14073
• fix(solver): canonicalize infer-parameter identity so it does not fragment on default/constraint snapshot by @mohsen1 in #14074
• fix(module-resolution): resolve tsconfig paths without baseUrl by @mohsen1 in #14075
• fix(solver): relate same-base generic interface instantiations when every type-param usage is bivariant by @mohsen1 in #14078
• fix(emit): down-level destructuring patterns in es5 catch clauses by @mohsen1 in #14081
• fix(emit): capture ES5 optional-call this-receiver inside the nullish guard by @mohsen1 in #14077
• fix(emit): key ES5 computed object-literal layout on the source multiLine flag by @mohsen1 in #14082
• refactor(arch): enforce CheckerContext lifetime→destination-shell contract by @mohsen1 in #14086
• fix(emit): lower ES5 destructuring in async/generator var decls and catch clauses by @mohsen1 in #14085
• fix(checker): preserve precise ES2021–ES2025 target for target-gated diagnostics by @mohsen1 in #14084
• fix(solver): drop the const modifier from canonical type-parameter identity by @mohsen1 in #14090
• fix(bench): surface compile compat for bench-excluded required rows (type-challenges) by @mohsen1 in #14093
• fix(solver): absorb the error sentinel in the raw intersection path by @mohsen1 in #14091
• feat(bench): time passing compiler canaries on the perf comparison page by @mohsen1 in #14094
• fix(solver): absorb top/bottom sentinels in union_preserve_members by @mohsen1 in #14089
• feat(website): meaningful labels, per-project descriptions, README rendering on benchmark pages by @mohsen1 in #14092
• fix(checker): honor authoritative module resolution for relative imports (moduleSuffixes) by @mohsen1 in #14097
• fix(checker): guard every under-applied type-argument fill against the error sentinel by @mohsen1 in #14099
• fix(solver): erase bound type-parameter name from canonical identity (full alpha-equivalence) by @mohsen1 in #14096
• perf(checker): memoize spelling-suggestion scan per reference node by @mohsen1 in #14103
• perf(solver): short-circuit Lazy heritage subtyping by nominal reachability by @mohsen1 in #14104
• chore(readme): refresh benchmark image and stats by @mohsen1 in #14106
• fix(solver): canonicalize the inner type of NoInfer<T> for structural identity by @mohsen1 in #14109
• fix(checker): strip undefined from defaulted params with a deferred annotation (TS2488/TS18048) by @mohsen1 in #14108
• fix(solver): accept unknown source against deferred-conditional targets with top-type branches by @mohsen1 in #14105
• fix(solver): drop cosmetic value-names from canonical type identity by @mohsen1 in #14115
• chore(release): bump try-tsz publish version to 0.1.32 by @mohsen1 in #14118

Full Changelog: v0.1.31...v0.1.32