fix(php): member-call follow-ups — FCC relation, union refusal, qualified receiver types, use-claim refusal - #2505

Closed

filipechagas wants to merge 22 commits into

Graphify-Labs:v8from

lawnstarter:upstream-feat/php-member-call-followups

Commits on Aug 5, 2026

feat(php): resolve $this->prop->method() to the property's declared type (#2)

filipechagas
and
claude
committed
43cd7a2
feat(php): resolve (new Service())->method() with FQN corroboration (#3)

filipechagas
and
claude
committed
ae95261
feat(php): resolve typed locals and typed params with scope poisoning (#4)

filipechagas
and
claude
committed
a707b42
fix(extract): skip language-tagged raw calls in the Swift, Python and TypeScript member-call resolvers (#6)

filipechagas
and
claude
committed
6d33de1
feat(php): refuse interface-typed receivers, even under short-name collision (#5)

filipechagas
and
claude
committed
4f17dd8
Merge branch 'feat/php-member-calls-1682-t6': mixed-corpus lang-tag hardening (#6)
filipechagas
committed
f567a36
fix(extract): language-scope the PHP and ObjC receiver type indexes (#8)

filipechagas
and
claude
committed
2e68ec6
feat(php): refuse enum- and trait-typed receivers alongside interfaces (#12)
filipechagas
committed
5de8f76
fix(php): poison receiver types rebound by `global` and `static` statements (#13)
filipechagas
committed
0cb78af
fix(php): keep the interface refusal across incremental rebuilds (#11)

filipechagas
and
claude
committed
8d051c6
fix(php): corroborate an inline-`new` FQN against the declared namespace (#14)
filipechagas
committed
49b665e
Merge branch 'feat/php-member-calls-1682-t6': interface refusal across incremental rebuilds (#11)
filipechagas
committed
c2c3e89
fix(php): carry enum and trait names across incremental rebuilds too (#11, #12)
filipechagas
committed
85bb8df
chore: bump to 0.9.34; changelog and docs for #1682 (#2/#3/#4/#5/#6/#8/#11/#12/#13/#14)
filipechagas
committed
db7c8f8

Navigation Menu

Uh oh!

Uh oh!

fix(php): member-call follow-ups — FCC relation, union refusal, qualified receiver types, use-claim refusal - #2505

fix(php): member-call follow-ups — FCC relation, union refusal, qualified receiver types, use-claim refusal#2505
filipechagas wants to merge 22 commits into
Graphify-Labs:v8from
lawnstarter:upstream-feat/php-member-call-followups

Commits on Aug 5, 2026

feat(php): resolve $this->prop->method() to the property's declared type (#2)

feat(php): resolve (new Service())->method() with FQN corroboration (#3)

feat(php): resolve typed locals and typed params with scope poisoning (#4)

fix(extract): skip language-tagged raw calls in the Swift, Python and TypeScript member-call resolvers (#6)

feat(php): refuse interface-typed receivers, even under short-name collision (#5)

Merge branch 'feat/php-member-calls-1682-t6': mixed-corpus lang-tag hardening (#6)

fix(extract): language-scope the PHP and ObjC receiver type indexes (#8)

feat(php): refuse enum- and trait-typed receivers alongside interfaces (#12)

fix(php): poison receiver types rebound by `global` and `static` statements (#13)

fix(php): keep the interface refusal across incremental rebuilds (#11)

fix(php): corroborate an inline-`new` FQN against the declared namespace (#14)

Merge branch 'feat/php-member-calls-1682-t6': interface refusal across incremental rebuilds (#11)

fix(php): carry enum and trait names across incremental rebuilds too (#11, #12)

chore: bump to 0.9.34; changelog and docs for #1682 (#2/#3/#4/#5/#6/#8/#11/#12/#13/#14)

Commits on Aug 6, 2026

feat(php): capture use FQN/alias/kind metadata on imports edges

fix(php): stop group-form use function/const from claiming class names

Merge remote-tracking branch 'origin/upstream-feat/php-use-metadata' into upstream-feat/php-name-resolver

fix(php): emit indirect_call for first-class callables (#15)

fix(php): refuse the same-file bare-name edge for union/intersection receivers (#9)

fix(php): recognize PHP 8.2 DNF property and promoted-param types (#9)

feat(extract): keep written qualified PHP receiver types (#20)

fix(php): refuse a member call whose receiver type the file claims (#21)