WIP: Resolve types in processExpr - #5224

Closed

ondrejmirtes wants to merge 11 commits into

2.1.xfrom

expression-result-type

Commits on Mar 14, 2026

Commits on Mar 15, 2026

FuncCallHandler and MethodCallHandler
ondrejmirtes
committed
57ee9ca
NewHandler and StaticCallHandler
ondrejmirtes
committed
20ccc34
earlyTerminating calls refactored to always infer expr type as NeverType
ondrejmirtes
committed
35ed979
Refactored issetCheck in MutatingScope to be usable inside typeCallback
ondrejmirtes
committed
7fcae9c
Use earlyTerminating*Calls in handler resolveType to return NeverType
ondrejmirtes
committed
c99ef33
Implement typeCallback in Coalesce/Empty/Isset handlers
ondrejmirtes
committed
fed60a2
Remaining fixes
ondrejmirtes
committed
7fe5e4e