v0.1.34
What's Changed
- fix(bench): time clean canary projects for charts by @mohsen1 in #14119
- fix(checker): unwrap
awaitof a deferred alias/conditional resolving to a Promise union by @mohsen1 in #14117 - fix(solver): accept apparent-type constructors as instanceof RHS (TS2359) by @mohsen1 in #14122
- fix(checker): allow class/interface declaration self-merge in implements clause (TS2720) by @mohsen1 in #14121
- fix(checker): guard interface heritage-merge recursion with the cross-context stack breaker by @mohsen1 in #14124
- perf(checker): canonicalize type-param-bearing application args for identity convergence (#14101 step 1b) by @mohsen1 in #14132
- fix(cli): walk all ancestors for default typeRoots (monorepo TS2688) by @mohsen1 in #14120
- perf(solver): probe recursive-heritage def re-entries for SCC headroom (#14101 step 2 probe) by @mohsen1 in #14133
- fix(bench): time clean application rows for charts by @mohsen1 in #14125
- fix(solver): resolve delete-operand optionality through heritage (TS2790) by @mohsen1 in #14134
- fix(solver): guard infer object-pattern application unwrap against non-converging cycles (TS stack overflow) by @mohsen1 in #14135
- fix(solver): reject deferred recursive-alias self-applications from the concrete-fixpoint cache (#14123) by @mohsen1 in #14136
- fix(checker): credit nested unresolved built-in Application members in union/intersection property access (TS2339) by @mohsen1 in #14138
- fix(checker): canonicalize cross-module unique-symbol identity for computed keys by @mohsen1 in #14139
- fix(checker): resolve unindexable element access to implicit-any, not undefined by @mohsen1 in #14148
- fix(bench): chart passing canaries + break the bench-gate deferral deadlock by @mohsen1 in #14147
- test(checker): forced-parallel DOM heritage non-determinism witness (#13862) by @mohsen1 in #14151
- fix(module-resolution): canonicalize package main/types/typings entry paths by @mohsen1 in #14150
- fix(checker): resolve merged value+type-alias symbols through re-export chains (TS2464) by @mohsen1 in #14143
- fix(checker): resolve computed/const-keyed members in declare-global Window augmentations by @mohsen1 in #14137
- fix(checker): preserve unique-symbol identity for value+typeof-alias merge across modules by @mohsen1 in #14144
- fix(bench): resolve app compat for dispatched publishes by @mohsen1 in #14179
- fix(checker): report this-rooted nullish operand as TS2532, not TS18050 by @mohsen1 in #14177
- fix(module-resolution): substitute every '*' in package exports/imports targets by @mohsen1 in #14180
- fix(checker): resolve re-exported merged value+type symbol to its value side (TS2464) by @mohsen1 in #14145
- refactor(checker): replace globalThis/Window display-string predicate with a GlobalReceiver enum by @mohsen1 in #14146
- perf(checker): incorporate object-shaped heritage base members (#14101 part-4 / Lever 2) by @mohsen1 in #14178
- fix(bench): time clean application rows by @mohsen1 in #14183
- fix(solver): empty/short tuple matches optional-prefix rest infer pattern by @mohsen1 in #14185
- fix(checker): preserve namespace/enum meaning through cross-binder re-exports by @mohsen1 in #14187
- refactor(checker): structural checks replace type-display-string semantic predicates (#14142) by @mohsen1 in #14160
- fix(checker): treat unresolved-Lazy overload-return relations as undetermined (#14131) by @mohsen1 in #14181
- fix(solver): model optional index signatures so object-typed sources satisfy Partial<Record> (#14158) by @mohsen1 in #14186
- fix(solver): negative
in-narrowing keeps a non-union optional property unchanged (TS2322) by @mohsen1 in #14188 - fix(solver): resolve instantiable arithmetic operands to their base constraint (#14154) by @mohsen1 in #14191
- fix(checker): model
typeof globalThisas a concrete surface object (TS2322/TS7053) by @mohsen1 in #14184 - fix(checker): existential spread-arity for overloaded callables (TS2556) by @mohsen1 in #14189
- fix(solver): waive missing string-index requirement for array/tuple vs
{ [x: string]: any }(#14162) by @mohsen1 in #14190 - fix(bench): publish complete gray app compat rows by @mohsen1 in #14194
- fix(checker): widen array/object-literal conditional branches like tsc by @mohsen1 in #14193
- perf(solver): discriminate single-def vs multi-member SCC re-entries (#14101 probe) by @mohsen1 in #14195
- fix(checker): interface inherits members from a cross-module class base (#14161) by @mohsen1 in #14192
- docs: add the how-tsz-works codebase guide (narrative + internals deep-dives + file inventory) by @mohsen1 in #14199
- fix(checker): default missing Node built-in import hint to TS2591, not TS2580 by @mohsen1 in #14196
- fix(solver): resolve
thisper side for tuple vs interface-extends-Array (#14170) by @mohsen1 in #14198 - fix(solver): requirement-free object comparable to object-constrained type param (TS2352) (#14152) by @mohsen1 in #14200
- fix(module-resolution): ambient module shadows untyped on-disk package (#14169) by @mohsen1 in #14201
- fix(solver): seed contextual return type into generic construct-signature inference (#14171) by @mohsen1 in #14204
- fix(bench): fail project rows >1.5x slower than tsgo (was 8x) by @mohsen1 in #14208
- fix(checker): widen mutable element literals of a const fresh compound initializer (#14165) by @mohsen1 in #14209
- fix(narrowing): narrow alias/application union via in-operator (#14153) by @mohsen1 in #14203
- fix(solver): accept a deferred indexed-access as an instanceof left operand by @mohsen1 in #14205
- fix(checker): narrow let binding via array/object-literal assignment in flow fallback (#14219) by @mohsen1 in #14221
- fix(ci): app clone/install failure -> fixture-invalid (gray), not false TS2307 red by @mohsen1 in #14248
- fix(lowering): give rest-position
infertheunknown[]constraint (#14159) by @mohsen1 in #14241 - fix(bench): monotonic latest.json guard (older run can't clobber newer perf) by @mohsen1 in #14244
- fix(solver): bind
thisto the receiver when indexing athis-typed property (#14166) by @mohsen1 in #14223 - fix(checker): prove definite assignment in evaluated short-circuit condition operand (#14215) by @mohsen1 in #14243
- fix(checker): preserve narrowing across a closure START boundary (TS18048) by @mohsen1 in #14242
- fix(solver): coerce template-literal infer capture for literal numeric constraints by @mohsen1 in #14265
- fix(checker): recognize never-returning imported functions as terminating (TS2366) by @mohsen1 in #14246
- fix(solver):
never extends <infer pattern>takes the true branch with infer→unknown (#14174) by @mohsen1 in #14250 - fix(checker): fold multi-block/cross-file
declare globalinterfaces into keyof/indexed access (#14173) by @mohsen1 in #14197 - fix(solver): preserve
as constobject-literal property literals through generic inference (#14157) by @mohsen1 in #14224 - chore(ci): green no-regression baseline for project-compile canary (data-only) by @mohsen1 in #14268
- perf(solver): probe instantiation-identity dedup ceiling (#14101) by @mohsen1 in #14264
- fix(checker): consult signature type params before value-as-type in type literals (#14214) by @mohsen1 in #14222
- fix(driver): exact-name ambient module precedence over path resolution (TS2614) by @mohsen1 in #14266
- fix(checker): generic indexed access of a callable member satisfies a callable constraint (#14164) by @mohsen1 in #14210
- fix(solver): function value assignable to an object & call-signature intersection (#14156) by @mohsen1 in #14267
- fix(solver): allow non-tuple spread into global Function/any callee (#14218) by @mohsen1 in #14270
- test(checker): keep aliased in-narrow coverage by @mohsen1 in #14240
- fix(solver): infer array-target element from variadic tuple rest element type, not the spread constraint array (#14175) by @mohsen1 in #14276
- fix(checker): accept unary +/- numeric-literal computed property name (TS1170) (#14256) by @mohsen1 in #14273
- fix(checker): stop flow fallback from leaking un-instantiated generic return params (#14259) by @mohsen1 in #14278
- fix(solver): route union partition-reduction through the width dispatcher by @mohsen1 in #14274
- fix(solver): widen any-arity fresh literal union during inference (TS2345/TS2322) by @mohsen1 in #14281
- fix(solver): distribute homomorphic mapped over infer-bound union members (TS2345) by @mohsen1 in #14280
- fix(solver): peel transparent identity-alias union arms in generic inference (#14251) by @mohsen1 in #14283
- fix(checker): classify deferred indexed-access rest elements via apparent type (TS2574) by @mohsen1 in #14275
- fix(checker): export-default merged interface keeps class-heritage members (TS2339) by @mohsen1 in #14291
- fix(solver): defer conditionals on bound-infer extends and undetermined Lazy relations (#14238) by @mohsen1 in #14284
- fix(checker): seed typeof param scope when re-checking a type predicate's asserted type (#14229) by @mohsen1 in #14272
- fix(checker): resolve indexed access of a builtin-named namespace member by @mohsen1 in #14269
- fix(checker): accept a flow-narrowed value-reference class-extends base (#14260) by @mohsen1 in #14292
- fix(solver): keep contextual-return as a hint for argument-pinned bare return params (#14262) by @mohsen1 in #14296
- fix(checker): narrow assignment LHS by truthiness in condition position (TS2722/TS18048/TS2322) by @mohsen1 in #14290
- fix(binder): export alias keeps colliding local class in value and type space (#14216) by @mohsen1 in #14247
- fix(checker): apply heritage type-arg substitution in cyclic base-member merge (TS2339/TS2322) by @mohsen1 in #14294
- fix(solver): distribute 'in'-narrowing into nested-union members (TS2339) by @mohsen1 in #14298
- fix(checker): recognize a deferred conditional constraint as array-like in the spread gate (TS2345) (#14217) by @mohsen1 in #14300
- fix(solver): variadic rest spread distributes its element type, not the whole array by @mohsen1 in #14304
- feat(ci): project-compile no-regression ratchet (staged, unwired) by @mohsen1 in #14312
- refactor(bench): per-tip cadence single-flight; delete defer/catch-up mutex by @mohsen1 in #14331
- fix(checker): name-merged type-alias+value import types value refs from the const (TS18048) by @mohsen1 in #14302
- fix(checker): keep named props between two union-distributed spreads (TS2322) by @mohsen1 in #14299
- fix(checker): accept string-literal numeral keys in generic tuple index chain (TS2536) (#14254) by @mohsen1 in #14288
- fix(solver): preserve source literal through reverse-mapped filter conditional (#14226) by @mohsen1 in #14309
- fix(checker): substitute receiver type args for cross-arena lib generic interface member access (#14235) by @mohsen1 in #14307
- fix(checker): infer a bare-type-param predicate target from nested params (TS2345/TS2322) by @mohsen1 in #14310
- fix(checker): index-access of callable/hybrid member via reducible object satisfies callable constraint (#14164) by @mohsen1 in #14282
- fix(checker): resolve globalThis.X in type position to the global type (TS2339) by @mohsen1 in #14308
- fix(solver): object keyword satisfies an any-valued string/number index target by @mohsen1 in #14332
- fix(solver): defer type-param-default conditional with unresolved Lazy/Recursive in check/extends by @mohsen1 in #14335
- fix(solver): model substitution types for conditional true-branch narrowing (#14167) by @mohsen1 in #14285
- fix(checker): kill declared nullishness on a non-nullish killing-definition (TS18048) by @mohsen1 in #14295
- ci(track2): move unit + checker-integration to a 128GiB highmem Cloud Build pool by @mohsen1 in #14365
- test(checker): canary FP regression-guard audit round 2 — guards #14238/#14237 (#14164 partial) + reproducing witnesses by @mohsen1 in #14334
- fix(checker): preserve contextually-typed closure mark across return-type rollback (TS7006) by @mohsen1 in #14329
- fix(solver): structural constructor-narrowing matches tsc (TS2407/TS2698/TS2578) by @mohsen1 in #14353
- fix(checker): suppress three spurious did-you-mean suggestions to match tsc by @mohsen1 in #14360
- fix(checker): recognize named import of
export * as NSas a type-position namespace anchor (TS2503) by @mohsen1 in #14362 - fix(checker): entity-name computed names are late-bindable for override (false TS4127) by @mohsen1 in #14366
- chore(readme): refresh benchmark image and stats by @mohsen1 in #14373
- fix(checker): seed typeof-param scope for function-type predicate signatures (TS2304) (#14229) by @mohsen1 in #14355
- fix(solver): remove void union member when narrowing by an undefined discriminator (TS2322) by @mohsen1 in #14352
- fix(checker): resolve self-referential annotated const arrow to its declared signature (#14234) by @mohsen1 in #14314
- fix(checker): as-assertion to a generic callable/constructable type recognizes overlap with a callable source (#14325) by @mohsen1 in #14374
- test(solver): register architecture_guards + pin raw_symbol_fallback_def budget (#14344) by @mohsen1 in #14363
- fix(checker): narrow generic guard with bare target inferred from a nested param (TS2322) by @mohsen1 in #14371
- fix(solver): preserve distributed bare-foreign-param union in overload arg inference (TS2769) by @mohsen1 in #14375
- fix(checker): key namespace-qualified unique-symbol computed members by canonical identity (TS7053) by @mohsen1 in #14377
- fix(solver): reject a primitive against a deferred any-constrained index map (#14220) by @mohsen1 in #14340
- fix(cli): port tsc's directive walk-up + last-line block-comment registration (false TS2578) by @mohsen1 in #14370
- fix(solver): resolve concrete-check vs generic-extends conditional via permissive false branch (#14232) by @mohsen1 in #14249
- chore(release): bump try-tsz publish version to 0.1.33 by @mohsen1 in #14382
- fix(checker): default unfixed type params in new-expression callback contextual types (#14333) by @mohsen1 in #14383
- fix(solver): variadic-tuple spread element type is
X[number], not the spread itself (#14175) by @mohsen1 in #14303 - fix(solver): resolve T[never] to the index source, not never (TS2345) (#14327) by @mohsen1 in #14379
- fix(checker): accept readonly literal initializers on ambient class properties by @mohsen1 in #14336
- fix(checker): resolve T[K] rest element via generic-alias tuple constraint (#14257) by @mohsen1 in #14301
- fix(checker): validate untyped-call type arguments as types, not values (spurious TS2693 on f()) by @mohsen1 in #14338
- fix(solver): infer a callee type argument from a generic type-parameter source's apparent type (TS2339) (#14321) by @mohsen1 in #14368
- fix(checker): defer TS2488 for a rest binding pattern typed by a deferred conditional by @mohsen1 in #14343
- fix(binder): renamed top-level export must not clobber a same-named local by @mohsen1 in #14328
- perf(solver): memoize extract_type_params_from_type per TypeId (#14330) by @mohsen1 in #14391
- fix(solver): preserve the symbol arm of index-signature key spaces (#14315) by @mohsen1 in #14378
- fix(checker): contextually type a function expression from the sole arity-viable union member (TS7006) by @mohsen1 in #14386
- fix(checker): deferred-conditional operand overlap via comparability apparent type (TS2367) (#14253) by @mohsen1 in #14389
- fix(solver): callable
as Toverlaps a function-union type-parameter constraint (TS2352) (#14318) by @mohsen1 in #14387 - fix(checker): resolve qualified-type LHS through shadowed re-imported namespace (TS2503) (#14225) by @mohsen1 in #14339
- fix(checker): recognize readonly arrays and array-constrained generics as ES5-iterable (false TS2802) by @mohsen1 in #14357
- fix(solver): drop bare type-param union member under a Function type guard (#14320) by @mohsen1 in #14394
- fix(checker): structural call/construct-signature overlap for both-callable as-assertions (TS2352) by @mohsen1 in #14395
- fix(checker): preserve type meaning of declare class re-exported through 2+ hops (#14358) by @mohsen1 in #14397
- fix(solver): typeof-function narrowing keeps object/empty-shape union members as Function (TS2339) by @mohsen1 in #14399
- fix(checker): bind open-ended array spread to a reachable rest overload (TS2556) by @mohsen1 in #14396
- fix(checker): object-type-literal unique-symbol members keep identity via typeof (TS2322) by @mohsen1 in #14400
- test(checker): canary FP regression-guard audit — guards 6 fixed issues + documents reproducing witnesses (#14235, #14228, #13484, #14258, #14156, #14259) by @mohsen1 in #14311
- fix(bench): publish despite older active runs when published data is stale by @mohsen1 in #14313
- fix(checker): preserve narrowing across a conditional initializer whose arm calls a function (TS2339) by @mohsen1 in #14403
- test(bench): map msw #core subpath imports via paths like upstream tsconfig by @mohsen1 in #14406
- fix(solver): reduce cross-arena generic type-alias indexed access (TS2322/TS7006) by @mohsen1 in #14380
- fix(binder): seed try/finally flow entry with pre-try and abrupt states (TS18048) by @mohsen1 in #14407
- fix(solver): cap fixed-arity infer function pattern by source required arity (TS2322 #14323) by @mohsen1 in #14408
- fix(checker): TS2367 deferred-conditional operand overlaps via its default constraint (#14253) by @mohsen1 in #14293
- fix(solver): erase signature type params to any for generic conditional-rest arity (#14326) by @mohsen1 in #14410
- test(checker): canary FP regression-guard audit round 3 — guards #14254/#14216/#14255 (+partial #14164) + reproducing witnesses by @mohsen1 in #14384
- fix(solver): reduce concrete-check this-relative conditional members before relating (TS2344) by @mohsen1 in #14413
- fix(checker): resolve cross-file unique-symbol computed name via type-only namespace import (#14342) by @mohsen1 in #14390
- fix(checker): import named like a global constructor shadows the global in value position (TS2348) by @mohsen1 in #14412
- fix(checker): narrow destructured binding element through prefix-unary guard by @mohsen1 in #14414
- fix(solver): stack-growth guard on infer-match recursion so recursive-conditional infer degrades to TS2589 not SIGABRT (#14123) by @mohsen1 in #14415
- refactor(checker): unify dual-env write discipline into one shared path by @mohsen1 in #14367
- perf(solver): bound collect_properties memo to recent generations (#14347) by @mohsen1 in #14369
- fix(binder): renamed local export must not create an in-module binding (#14255) by @mohsen1 in #14271
- fix(bench): isolate failed shards so one error stub can't block benchmark publish (#14398) by @mohsen1 in #14419
- fix(solver): recursive conditional-alias over alias-wrapped Promise converges instead of re-entering reduction (#14417) by @mohsen1 in #14421
- fix(solver): reduce indexed-access operands to base constraint in comparability (TS2678/TS2367) by @mohsen1 in #14354
- fix(checker): follow N-hop re-export chains to the TYPE target in type position (#14358) by @mohsen1 in #14402
- fix(checker): non-tuple spread selects rest overload after a fixed-arity one (#14319) by @mohsen1 in #14401
- fix(solver): keyless object source infers Record/mapped params as never (TS2345) by @mohsen1 in #14426
- test(checker): lock in #13609 type-parameter default/const identity parity by @mohsen1 in #14424
- fix(checker): reduce a deferred indexed-access callee to its apparent type before TS2349 by @mohsen1 in #14423
- fix(checker): resolve aliased type-predicate sides before the relation (TS2677, #14231) by @mohsen1 in #14411
- fix(checker): keep object narrowing through a member assignment after a control-flow join by @mohsen1 in #14427
- fix(checker): namespace-member merged value+type resolves VALUE side (TS2464/TS2722) by @mohsen1 in #14428
- test(checker): guard #14123 non-convergent conditional bounds to TS2589 not SIGABRT by @mohsen1 in #14416
- test(cli): process-safety guards for recursive conditional-
infer(#14123) by @mohsen1 in #14418 - fix(bench): resolve app compat CI runs without gh by @mohsen1 in #14422
- fix(checker): unrelated array mutation must not re-widen another reference's narrowing by @mohsen1 in #14433
- fix(solver): defer conditional when keyof of an unresolvable Lazy hides the key space by @mohsen1 in #14420
- test(checker): activate guards for fleet-fixed #14213/#14232 + note 4 closed-but-reproducing FPs by @mohsen1 in #14435
- refactor(checker): remove dead recursiveTypeReferences1 diagnostic rewrite by @mohsen1 in #14436
- fix(solver): drop self-referential contra-candidate in generic-overload inference by @mohsen1 in #14405
- fix(checker): narrow
??right operand by optionality on discriminated unions by @mohsen1 in #14439 - fix(solver): resolve distributive constraint of extraction conditionals so a Parameters-constrained spread lands on a rest parameter (#14217) by @mohsen1 in #14306
- fix(checker): narrow property-access LHS of logical assignment (||=/??=) by @mohsen1 in #14430
- fix(solver): contextual return pins a callback-parameter-only type parameter past the direct-parameter guard by @mohsen1 in #14434
- fix(solver): typeof-function narrowing keeps a union's bare
objectconstituent asFunction(#14324) by @mohsen1 in #14356 - fix(solver): infer type args through indexed-access parameter types (#14261) by @mohsen1 in #14437
- perf(checker): route namespace "did you mean" suggestions through the memoized scan gateway by @mohsen1 in #14440
- fix(checker): resolve type aliases in function-type-node predicate relation (TS2677) by @mohsen1 in #14432
- perf(solver): share class-check-context relation verdicts via a discriminating cache bit (#13828) by @mohsen1 in #14441
- fix(solver): defer infer-conditional over an unresolved-interface indexed access (TS2349, #14164) by @mohsen1 in #14442
- fix(checker): resolve re-exported symbol-keyed member through the full import chain (TS2536/TS2722) by @mohsen1 in #14429
- fix(checker): preserve same-array narrowing across an ARRAY_MUTATION then join by @mohsen1 in #14438
- fix(checker): anchor a re-imported namespace through the import chain (#14225) by @mohsen1 in #14443
- fix(checker): assignment to shadowing local is not an import assignment (TS2632) by @mohsen1 in #14445
- fix(checker): treat logical compound assignment target as definitely assigned (TS2454) by @mohsen1 in #14446
- fix(solver): resolve deferred conditional check-type constraint so spread of
P extends Parameters<F>is variadic (#14217) by @mohsen1 in #14431 - fix(checker): narrow structured conditional check operand in true branch (TS2344 #14167) by @mohsen1 in #14448
- test(checker): activate guards for fleet-fixed #14231/#14261 (regression-guard audit round 5) by @mohsen1 in #14447
- fix(bench): avoid SIGPIPE in diagnostic first-line extraction by @mohsen1 in #14449
- fix(solver): defer conditional on unresolved indexed-access check (#14164) by @mohsen1 in #14444
- fix(checker): keep deferred conditional/indexed source spelling in TS2322 against a generic target by @mohsen1 in #14450
- fix(checker): resolve cross-file declare-global computed-const augmentation keys by @mohsen1 in #14453
- fix(solver): symbol index signature can coexist with string/number (TS2536 on Record<PropertyKey, V>[symbol]) by @mohsen1 in #14381
- test(checker): activate regression guards for fleet-fixed #14213/#14216/#14229/#14255 by @mohsen1 in #14455
- fix(module-resolution): JSON-null exports/imports target blocks resolution (#13826) by @mohsen1 in #14457
- fix(solver): drop origin from canonical bound type-parameter identity (#13609) by @mohsen1 in #14459
- fix(solver): reduce homomorphic mapped type over
neversource tonever(#14460) by @mohsen1 in #14461 - fix(checker): keep the alias for unconstrained named deferred conditionals in assignability messages by @mohsen1 in #14452
- fix(solver): waive any-valued number index for single object types, not just named (#14220) by @mohsen1 in #14451
- fix(checker): resolve qualified
typeof a.blazily as(typeof a)["b"]by @mohsen1 in #14454 - test(checker): activate guard for fleet-fixed #14230 (mapped index by symbol) — regression-guard audit round 6 by @mohsen1 in #14463
- fix(checker): render TypeBox Static<…> schema arrays structurally in TS2322 by @mohsen1 in #14464
- perf(lsp): bound project memory via opt-in eviction with disk rehydration by @mohsen1 in #14462
- fix(solver): keep array-like union members in Array.isArray narrowing by @mohsen1 in #14467
- fix(solver): relate shadowed same-named type parameters by identity, not name by @mohsen1 in #14458
- test(checker): production-faithful multi-file lib harness; activate fleet-fixed FP guards (#14263/#14231/#14230) by @mohsen1 in #14466
- fix(checker): reduce indexed-access constraint before unknown type-argument satisfies check by @mohsen1 in #14470
- perf(solver): memoize collect_contravariant_infer_names per pattern TypeId by @mohsen1 in #14469
- hold(bench): SIGPIPE-proof run-cliff overlay-entries grep by @mohsen1 in #14476
- test(cli): activate fleet-fixed recursive conditional-infer convergence guards (#14417) by @mohsen1 in #14473
- test(checker): regression guards for fleet-fixed #14460/#14425/#14319 (canary FP audit round 7) by @mohsen1 in #14474
- fix(checker): report TS2538 for a concrete object indexed by bare
symbolby @mohsen1 in #14472 - fast(bench): honest perf rows — hard-gate canary slowdowns + guard 0-file phantom wins by @mohsen1 in #14477
- hold(bench): SIGPIPE-proof cloudbuild_status() gcloud polling (fix intermittent exit-141 publish failures) by @mohsen1 in #14479
- perf(solver): memoize contains_type_by_id project-wide on the interner by @mohsen1 in #14475
- green(bench): infisical — point at real frontend config; demote false required-green by @mohsen1 in #14478
- fix(solver): bound mapped/index-access distribution unions with tsc's TS2590 limit by @mohsen1 in #14480
- fix(cli): expand include: ["."] / ["./"] to root-relative */ (TS18003 parity) by @mohsen1 in #14482
- refactor(checker): one shared body-registration variant constructor for dual-env writes (#14348) by @mohsen1 in #14487
- grow(bench): promote ts-pattern to the project-compat no-regression baseline by @mohsen1 in #14492
- fix(checker): preserve type-alias name in TS4104 readonly-to-mutable source by @mohsen1 in #14485
- green(ci): make yarn/pnpm/bun app fixtures installable so they're measured, not gray by @mohsen1 in #14495
- fast(bench): refresh published feed on the 0 3 daily cron, not just perf ticks by @mohsen1 in #14494
- perf(solver): memoize prune_impossible_object_union_members on the interner by @mohsen1 in #14491
- fix(solver): reduce generic-wrapper-alias infer pattern in conditional extends-type (false TS2322, #14489) by @mohsen1 in #14496
- fix(checker): preserve type-alias name in TS2345 readonly array/tuple argument by @mohsen1 in #14490
- refactor(solver): further-split index_access.rs to 1794 lines + ratchet-down by @mohsen1 in #14493
- chore(readme): refresh benchmark image and stats by @mohsen1 in #14501
- fix(solver): reduce generic wrapper-alias infer pattern to structural form (TS2322 FP) by @mohsen1 in #14502
- refactor(checker): hoist SymbolTypeCache version-bump into one owner (#14347) by @mohsen1 in #14506
- test(checker): guard try/finally pre-try narrowing in finally (#14317) by @mohsen1 in #14503
- fix(checker): enum-member discriminant yields precise TS2353 on excess property (was generic TS2322) by @mohsen1 in #14508
- fix(solver): variadic-tuple under-arg call reports TS2555 (arity) unless rest leads with a rest element by @mohsen1 in #14505
- fix(solver): collapse intersections that reduce to never/any through concrete NoInfer by @mohsen1 in #14500
- fix(solver): bind infer through nested same-wrapper alias in conditional extends-type by @mohsen1 in #14504
- chore(release): bump try-tsz publish version to 0.1.34 by @mohsen1 in #14514
Full Changelog: v0.1.32...v0.1.34