Lower spread-arm ternaries into per-branch blocks instead of hoisting#160

Merged

ctate merged 43 commits into

mainfrom

fix/ts-ternary-spread-arms

Jul 20, 2026

Commits on Jul 19, 2026

Commits on Jul 20, 2026

Bracket chain-substitution scopes with the narrowing kill-frame protocol
ctate
committed
Drop an always-exiting branch's narrowing kills at the merge
ctate
committed
Keep a lifted callback's trailing return inside its prefix's flow scope
ctate
committed
Merge a try body's narrowing kills when its catch can fall through
ctate
committed
Decide narrowing-kill drops with an all-routes escape analysis
ctate
committed
Treat never-completing loops as terminal in the narrowing analysis
ctate
committed
Trace a caught throw into the code after its try when classifying routes
ctate
committed
Strip parentheses before matching narrowed targets in the ternary machinery
ctate
committed
See through wrapped null literals in ternary and nullish decisions
ctate
committed
Let narrowing flow through plain lexical blocks
ctate
committed
Route caught-throw kills to the post-try continuation
ctate
committed
Join sibling arms' narrowing kills at the construct exit
ctate
committed
Subtract joined branch kills from post-construct narrows
ctate
committed
Key the narrowing maps by declaration identity
ctate
committed
Stage narrowing kills at the edges break, continue, and callback returns travel
ctate
committed
Canonicalize erased wrappers in the narrowing key
ctate
committed
Treat the global undefined as an empty in ternary and nullish arm decisions
ctate
committed
Isolate probe and sibling-arm flow state in expression lowerings
ctate
committed
Gate property-read detection on declaration-qualified keys, not source text
ctate
committed
Stage finally-clause kills until the try construct's exit
ctate
committed
Route pending exception kills through the catch's own control flow
ctate
committed
Key element-access narrows by declaration and canonical index
ctate
committed
Keep narrowing through provably non-null reassignments
ctate
committed
Emit a do-while's trailing test inside its body's narrowing scope
ctate
committed
Judge terminality through stacked case labels and statement labels
ctate
committed
Judge exhaustive defaultless value switches terminal through the scrutinee's type
ctate
committed
Judge value-switch exhaustiveness against a sound scrutinee type, never the raw flow type
ctate
committed
Count only tsc-reachable, same-scope assignments when widening a finally's entry narrows
ctate
committed
Gate narrowing captures on reads, not uses, in ternary arms and guard chains
ctate
committed
Exclude tsc-unreachable branch arms from kill joins via one shared judgment
ctate
committed
Judge scrutinee flow trust by whether a nested assigner can have run yet
ctate
committed
Stop break/continue-binding walks at function boundaries
ctate
committed
Give tsc-excluded arms no routes and extend the exclusion to for(;false;)
ctate
committed
Close a claimed-terminal plain switch's chain with an unreachable else
ctate
committed