0.3.0#13

Merged

math3usmartins merged 26 commits into

mainfrom

Jul 20, 2026

Commits on Jul 15, 2026

build(deps): bump xphp-lang/xphp to 0.3.x-dev

math3usmartins
and
claude
committed
feat(hover): render type-parameter variance as out/in

math3usmartins
and
claude
committed
test(resolver): lock Integer/Boolean/Double as class names

math3usmartins
and
claude
committed
feat(diagnostics): map xphp 0.3.0 generic-validation codes

math3usmartins
and
claude
committed
fix(resolver): pass Substitution to Specializer::substituteTypeRef

math3usmartins
and
claude
committed
test(0.3.0): migrate scalar + generic-arity fixtures to 0.3.0 behavior

math3usmartins
and
claude
committed
feat(resolver): resolve inherited generic methods via subclass turbofish

math3usmartins
and
claude
committed
test(resolver): lock keyword-named generic method turbofish

math3usmartins
and
claude
committed
test(resolver): lock type-param constructor on a variant class

math3usmartins
and
claude
committed
feat(hover): render Closure signature types on hover

math3usmartins
and
claude
committed
feat(closures): surface closure conformance diagnostics and type completion

math3usmartins
and
claude
committed
feat(hover): resolve method type parameters and their enclosing-param bounds

math3usmartins
and
claude
committed
feat(project): add a defensive xphp.json manifest reader

math3usmartins
and
claude
committed
feat(index): walk xphp.json source roots and exclude generated output

math3usmartins
and
claude
committed
chore(release): bump server version to 0.3.0

math3usmartins
and
claude
committed

Commits on Jul 19, 2026

Commits on Jul 20, 2026