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

Open

ondrejmirtes wants to merge 335 commits into

2.2.xfrom

resolve-type-rewrite-2

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 6, 2026

Commits on Jul 7, 2026

Flip createTypesCallback to (Type, TypeSpecifierContext, bool)
ondrejmirtes
committed
Read match arm verdicts from the threaded per-arm state
ondrejmirtes
committed
Answer foreign-position type asks from the scope's state uniformly
ondrejmirtes
committed
Read nullsafe receivers from before the enclosing ensure's device types
ondrejmirtes
committed
Release each file's captured results; drop dead filterBy* scope caches
ondrejmirtes
committed
Release resolved typeCallbacks, share the empty specify closure, move the closure-type cache to a per-file WeakMap
ondrejmirtes
committed
Process function and method bodies against a per-body result storage released after their return-statements rules
ondrejmirtes
committed
Read ternary branch results on their processing scopes
ondrejmirtes
committed
Expect the flavour-pure native type in the match arm always-true message
ondrejmirtes
committed
Revert "Expect the flavour-pure native type in the match arm always-true message"
ondrejmirtes
committed
Collect branch-union candidates from sureNot narrowings, skip template-typed subjects
ondrejmirtes
committed
Revert maybe-existing property promotion to its declared type
ondrejmirtes
committed
Bind static to the named class when calling a static method through an explicit class name
ondrejmirtes
committed
Strip the nullsafe short-circuit null from a static call's class-expression before the reflection lookup
ondrejmirtes
committed
Fan receiver-not-null through nullsafe chains from composed create callbacks
ondrejmirtes
committed
Re-price stored results asked at a diverging variable position
ondrejmirtes
committed
Restore per-item array_map expectations lifted by counterfactual re-pricing
ondrejmirtes
committed