Single-pass expression analysis groundwork - answer type questions from ExpressionResults - #5857

Open

ondrejmirtes wants to merge 20 commits into

2.2.xfrom

resolve-type-rewrite-2

Commits on Aug 14, 2026

Accept precomputed operand types in RicherScopeGetTypeHelper

ondrejmirtes
and
claude
committed
3a9b598
Let ExpressionResult own its expression's type and narrowing

ondrejmirtes
and
claude
committed
3832b5e
Store whole ExpressionResults instead of before-scopes

ondrejmirtes
and
claude
committed
6073452
Compose default narrowing from walk results in DefaultNarrowingHelper

ondrejmirtes
and
claude
committed
0e0943a
Replace EqualityTypeSpecifyingHelper with result-composed IdenticalNarrowingHelper

ondrejmirtes
and
claude
committed
0501aa7
Compose boolean narrowing from operand results

ondrejmirtes
and
claude
committed
450a427
Fold leaf handler type resolution into result callbacks

ondrejmirtes
and
claude
committed
51288b7
Fabricate virtual expression results equal to walked ones

ondrejmirtes
and
claude
committed
a9c60e5
Rework the call handlers around preliminary results and ArgsResult

ondrejmirtes
and
claude
committed
d1adbe9
Read impossible-check verdicts from the call's own result

ondrejmirtes
and
claude
committed
41f0f57
Inline nullsafe short-circuiting and compose receiver narrowing

ondrejmirtes
and
claude
committed
7170e82
Fetch handlers read operand results

ondrejmirtes
and
claude
committed
9ed573b
Resolve isset, empty and coalesce from chain results

ondrejmirtes
and
claude
committed
e860e02
Decompose ternary and match through composed narrowing

ondrejmirtes
and
claude
committed
7ac347b
Build closure types eagerly from the single body walk

ondrejmirtes
and
claude
committed
017be6d
Thread assigned-value results through the assignment handlers

ondrejmirtes
and
claude
committed
b5261e3
Answer type and narrowing questions from stored ExpressionResults

ondrejmirtes
and
claude
committed
da3de2f
Drop resolveType() and specifyTypes() from ExprHandler

ondrejmirtes
and
claude
committed
f33d64e
Short-circuit ScopeOps scans over conditional expressions

ondrejmirtes
and
claude
committed
911bfeb
Bump expected turbo version
ondrejmirtes
committed
613afb6

Navigation Menu

Uh oh!

Single-pass expression analysis groundwork - answer type questions from ExpressionResults - #5857

Single-pass expression analysis groundwork - answer type questions from ExpressionResults#5857
ondrejmirtes wants to merge 20 commits into
2.2.xfrom
resolve-type-rewrite-2

Commits on Aug 14, 2026

Accept precomputed operand types in RicherScopeGetTypeHelper

Let ExpressionResult own its expression's type and narrowing

Store whole ExpressionResults instead of before-scopes

Compose default narrowing from walk results in DefaultNarrowingHelper

Replace EqualityTypeSpecifyingHelper with result-composed IdenticalNarrowingHelper

Compose boolean narrowing from operand results

Fold leaf handler type resolution into result callbacks

Fabricate virtual expression results equal to walked ones

Rework the call handlers around preliminary results and ArgsResult

Read impossible-check verdicts from the call's own result

Inline nullsafe short-circuiting and compose receiver narrowing

Fetch handlers read operand results

Resolve isset, empty and coalesce from chain results

Decompose ternary and match through composed narrowing

Build closure types eagerly from the single body walk

Thread assigned-value results through the assignment handlers

Answer type and narrowing questions from stored ExpressionResults

Drop resolveType() and specifyTypes() from ExprHandler

Short-circuit ScopeOps scans over conditional expressions

Bump expected turbo version