v0.1.37
What's Changed
- test(solver): CI-enforced identity-bridge ratchets for #14344 by @mohsen1 in #14662
- fix(checker): elaborate index-signature property values to the deepest leaf by @mohsen1 in #14668
- test(checker): re-enable renamed re-export heritage test (#14621); correct two-level-chain ignore note by @mohsen1 in #14669
- perf(solver): #14351 cross-base heritage lazy-reference relation (flag-gated, acceptance-only) by @mohsen1 in #14661
- perf(solver): #14351 type-param-id-cardinality diagnostic probe (measure-only) by @mohsen1 in #14672
- perf(solver): make #14661 cross-base heritage probe zero-cost when disabled by @mohsen1 in #14677
- fix(solver): elaborate sole-real-member nullable targets against the resolved leaf by @mohsen1 in #14674
- fix(emit): splice hoisted temps into single-line async-lowered generator bodies by @mohsen1 in #14671
- fix(checker): narrow let/var union declarations by their object/class initializer by @mohsen1 in #14660
- fix(checker): anchor block-bodied function-value TS2322 at the binding target by @mohsen1 in #14676
- fix(emit): mirror tsc enum evaluator for type-only wrappers (#14665) by @mohsen1 in #14666
- fix(checker): widen fresh object/array literal structure in inferred return types by @mohsen1 in #14679
- fix(emit): qualify nested-namespace refs to enclosing exports by the declaring namespace by @mohsen1 in #14682
- ci: bump actions/cache from 5.0.5 to 6.0.0 by @dependabot[bot] in #14686
- ci: bump the actions-minor-patch group with 3 updates by @dependabot[bot] in #14685
- ci: bump actions/checkout from 6.0.3 to 7.0.0 by @dependabot[bot] in #14687
- test(checker): pin computed-key + transitive-heritage member retention (immer #13942) by @mohsen1 in #14664
- fix(emit): infer .d.ts return of function values from solver body type by @mohsen1 in #14690
- perf(checker): skip spelling-suggestion scan for lib-internal references (ts-toolbelt 5.25x->parity vs tsgo) by @mohsen1 in #14681
- fix(emit): qualify nested-namespace refs to enclosing exports by the declaring namespace (ES5) by @mohsen1 in #14683
- fix(ci): stop infra-interrupted runs from tripping the main-red sentinel (#14688) by @mohsen1 in #14691
- fix(checker): match tsc TS2791 bigint-exponentiation result-type precedence by @mohsen1 in #14693
- fix(emit): emit ES5 static field initializers after private-field storage by @mohsen1 in #14698
- fix(checker): match tsc's cannot-find-name lib/install hint sets (TS2584/2591/2592/2593) by @mohsen1 in #14702
- fix(checker): match tsc checkNonNullType operand diagnostics for unary +/-/~ and unnamed nullish operands by @mohsen1 in #14704
- feat(#14344): dormant decl-identity type-param carrier (flag-default-OFF) by @mohsen1 in #14696
- fix(checker): run checkNonNullType on both
inoperands by @mohsen1 in #14708 - fix(solver): report TS2367 no-overlap for template literal type operands by @mohsen1 in #14712
- fix(checker): classify readonly delete/assignment through a type parameter's apparent type by @mohsen1 in #14714
- fix(checker): report TS2349 for calls on a
nevercallee by @mohsen1 in #14725 - fix(emit): only pre-count ??= value temps for property/element targets by @mohsen1 in #14727
- fix(checker): materialize alias-wrapped re-exported generic interface receiver (#13212) by @mohsen1 in #14757
- fix(emit): always emit lowered static-block IIFE body multi-line by @mohsen1 in #14760
- fix(solver): exclude-narrow into union-bodied alias members by @mohsen1 in #14761
- fix(solver): keep any/error-typed discriminant property inert under value exclusion (TS2339) by @mohsen1 in #14759
- fix(solver): union tuple element types before relating to array element (TS2345) by @mohsen1 in #14799
- fix(checker): flatten nested conditional-flow substitutions for TS2344 by @mohsen1 in #14801
- fix(checker): unknown type-arg satisfies top-type constraints ({} | null | undefined) (#14733) by @mohsen1 in #14820
- fix(solver): narrow truthy-unknown
{}toobjectundertypeof === "object"guard by @mohsen1 in #14845 - fix(checker): recover declared type for reference-RHS reassignment in inferred return (#14728) by @mohsen1 in #14861
- perf(checker): resolve built-in lib namespace siblings from ES-module contexts (ts-toolbelt 5.9x) by @mohsen1 in #14862
- fix(checker): catch-clause variable must not shadow enclosing block-scoped binding (TS2451/2300/2481) by @mohsen1 in #14864
- data(corpus): add scule + mitt clean green canary rows (grow) by @mohsen1 in #14770
- data(ci): promote io-ts to the green project-compat ratchet baseline by @mohsen1 in #14867
- refactor(checker): route 7 raw try_borrow_mut dual-writes through register_in_envs (#14348) by @mohsen1 in #14865
- fix(checker): optional class property initialized to undefined at declaration site (prop?: T = undefined) (#14737) by @mohsen1 in #14871
- data(corpus): replace vacuous .d.ts-only rows with change-case + tiny-invariant (grow) by @mohsen1 in #14873
- fix(parser): pair backslashes in regex escape validator (no phantom \u/\x, TS1125) by @mohsen1 in #14874
- fix(checker): TS2344 prints the reduced branch of a concrete conditional constraint (#14786) by @mohsen1 in #14880
- fix(checker): tolerate fresh union member missing a destructured prop (TS2339) by @mohsen1 in #14875
- fix(checker): allow protected access through a subclass this-type parameter (TS2445) by @mohsen1 in #14887
- fix(checker): cross-file global interface merge emits TS2717 on conflicting member types (#14854) by @mohsen1 in #14888
- fix(checker): keep per-operator TS2869/TS2871 in nested
??chains (#14885) by @mohsen1 in #14886 - fix(solver): combine union arms in return-context substitution (TS2322, #14731) by @mohsen1 in #14892
- fix(parser): emit TS1110 for a missing required type constituent (#14836) by @mohsen1 in #14894
- fix(emit): serialize type-only decorator metadata refs to Object, not erased names (#14775) by @mohsen1 in #14898
- fix(emit): keep ES5 object-rest parameter function bodies single-line by @mohsen1 in #14710
- chore(release): bump try-tsz publish version to 0.1.37 by @mohsen1 in #14863
Full Changelog: v0.1.36...v0.1.37
What's Changed
- test(solver): CI-enforced identity-bridge ratchets for #14344 by @mohsen1 in #14662
- fix(checker): elaborate index-signature property values to the deepest leaf by @mohsen1 in #14668
- test(checker): re-enable renamed re-export heritage test (#14621); correct two-level-chain ignore note by @mohsen1 in #14669
- perf(solver): #14351 cross-base heritage lazy-reference relation (flag-gated, acceptance-only) by @mohsen1 in #14661
- perf(solver): #14351 type-param-id-cardinality diagnostic probe (measure-only) by @mohsen1 in #14672
- perf(solver): make #14661 cross-base heritage probe zero-cost when disabled by @mohsen1 in #14677
- fix(solver): elaborate sole-real-member nullable targets against the resolved leaf by @mohsen1 in #14674
- fix(emit): splice hoisted temps into single-line async-lowered generator bodies by @mohsen1 in #14671
- fix(checker): narrow let/var union declarations by their object/class initializer by @mohsen1 in #14660
- fix(checker): anchor block-bodied function-value TS2322 at the binding target by @mohsen1 in #14676
- fix(emit): mirror tsc enum evaluator for type-only wrappers (#14665) by @mohsen1 in #14666
- fix(checker): widen fresh object/array literal structure in inferred return types by @mohsen1 in #14679
- fix(emit): qualify nested-namespace refs to enclosing exports by the declaring namespace by @mohsen1 in #14682
- ci: bump actions/cache from 5.0.5 to 6.0.0 by @dependabot[bot] in #14686
- ci: bump the actions-minor-patch group with 3 updates by @dependabot[bot] in #14685
- ci: bump actions/checkout from 6.0.3 to 7.0.0 by @dependabot[bot] in #14687
- test(checker): pin computed-key + transitive-heritage member retention (immer #13942) by @mohsen1 in #14664
- fix(emit): infer .d.ts return of function values from solver body type by @mohsen1 in #14690
- perf(checker): skip spelling-suggestion scan for lib-internal references (ts-toolbelt 5.25x->parity vs tsgo) by @mohsen1 in #14681
- fix(emit): qualify nested-namespace refs to enclosing exports by the declaring namespace (ES5) by @mohsen1 in #14683
- fix(ci): stop infra-interrupted runs from tripping the main-red sentinel (#14688) by @mohsen1 in #14691
- fix(checker): match tsc TS2791 bigint-exponentiation result-type precedence by @mohsen1 in #14693
- fix(emit): emit ES5 static field initializers after private-field storage by @mohsen1 in #14698
- fix(checker): match tsc's cannot-find-name lib/install hint sets (TS2584/2591/2592/2593) by @mohsen1 in #14702
- fix(checker): match tsc checkNonNullType operand diagnostics for unary +/-/~ and unnamed nullish operands by @mohsen1 in #14704
- feat(#14344): dormant decl-identity type-param carrier (flag-default-OFF) by @mohsen1 in #14696
- fix(checker): run checkNonNullType on both
inoperands by @mohsen1 in #14708 - fix(solver): report TS2367 no-overlap for template literal type operands by @mohsen1 in #14712
- fix(checker): classify readonly delete/assignment through a type parameter's apparent type by @mohsen1 in #14714
- fix(checker): report TS2349 for calls on a
nevercallee by @mohsen1 in #14725 - fix(emit): only pre-count ??= value temps for property/element targets by @mohsen1 in #14727
- fix(checker): materialize alias-wrapped re-exported generic interface receiver (#13212) by @mohsen1 in #14757
- fix(emit): always emit lowered static-block IIFE body multi-line by @mohsen1 in #14760
- fix(solver): exclude-narrow into union-bodied alias members by @mohsen1 in #14761
- fix(solver): keep any/error-typed discriminant property inert under value exclusion (TS2339) by @mohsen1 in #14759
- fix(solver): union tuple element types before relating to array element (TS2345) by @mohsen1 in #14799
- fix(checker): flatten nested conditional-flow substitutions for TS2344 by @mohsen1 in #14801
- fix(checker): unknown type-arg satisfies top-type constraints ({} | null | undefined) (#14733) by @mohsen1 in #14820
- fix(solver): narrow truthy-unknown
{}toobjectundertypeof === "object"guard by @mohsen1 in #14845 - fix(checker): recover declared type for reference-RHS reassignment in inferred return (#14728) by @mohsen1 in #14861
- perf(checker): resolve built-in lib namespace siblings from ES-module contexts (ts-toolbelt 5.9x) by @mohsen1 in #14862
- fix(checker): catch-clause variable must not shadow enclosing block-scoped binding (TS2451/2300/2481) by @mohsen1 in #14864
- data(corpus): add scule + mitt clean green canary rows (grow) by @mohsen1 in #14770
- data(ci): promote io-ts to the green project-compat ratchet baseline by @mohsen1 in #14867
- refactor(checker): route 7 raw try_borrow_mut dual-writes through register_in_envs (#14348) by @mohsen1 in #14865
- fix(checker): optional class property initialized to undefined at declaration site (prop?: T = undefined) (#14737) by @mohsen1 in #14871
- data(corpus): replace vacuous .d.ts-only rows with change-case + tiny-invariant (grow) by @mohsen1 in #14873
- fix(parser): pair backslashes in regex escape validator (no phantom \u/\x, TS1125) by @mohsen1 in #14874
- fix(checker): TS2344 prints the reduced branch of a concrete conditional constraint (#14786) by @mohsen1 in #14880
- fix(checker): tolerate fresh union member missing a destructured prop (TS2339) by @mohsen1 in #14875
- fix(checker): allow protected access through a subclass this-type parameter (TS2445) by @mohsen1 in #14887
- fix(checker): cross-file global interface merge emits TS2717 on conflicting member types (#14854) by @mohsen1 in #14888
- fix(checker): keep per-operator TS2869/TS2871 in nested
??chains (#14885) by @mohsen1 in #14886 - fix(solver): combine union arms in return-context substitution (TS2322, #14731) by @mohsen1 in #14892
- fix(parser): emit TS1110 for a missing required type constituent (#14836) by @mohsen1 in #14894
- fix(emit): serialize type-only decorator metadata refs to Object, not erased names (#14775) by @mohsen1 in #14898
- fix(emit): keep ES5 object-rest parameter function bodies single-line by @mohsen1 in #14710
- chore(release): bump try-tsz publish version to 0.1.37 by @mohsen1 in #14863
Full Changelog: v0.1.36...v0.1.37