0.2.5#12

Merged

math3usmartins merged 9 commits into

mainfrom

Jun 14, 2026

Commits on Jun 14, 2026

fix(resolver): propagate nullability through nullsafe ?-> access

math3usmartins
and
claude
committed
fix(resolver): resolve multi-hop nullsafe property chains

math3usmartins
and
claude
committed
refactor(resolver): ClassLikeLookup::findWithContext (declaring-file name context)

math3usmartins
and
claude
committed
fix(resolver): qualify member-type names via the declaring file's use-map

math3usmartins
and
claude
committed
fix(resolver): resolve chains through non-generic methods (Gap 2)

math3usmartins
and
claude
committed
fix(resolver): go-to-definition through nullsafe method chains

math3usmartins
and
claude
committed
feat(diagnostics): warn on null dereference of a chained nullable receiver

math3usmartins
and
claude
committed
test(handlers): lock the range-within-document invariant (W7)

math3usmartins
and
claude
committed
ci(release): bump version in server info sent to clients

math3usmartins
and
claude
committed