Add SimpleScope PHPStan-free type resolution proof of concept - #8463

Open

TomasVotruba wants to merge 12 commits into

mainfrom

simple-scope-tier3-poc

Commits on Sep 8, 2026

Add SimpleScope PHPStan-free type resolution proof of concept
TomasVotruba
committed
93bde1c
[ci-review] Rector Rectify

actions-user
authored and
TomasVotruba
committed
85b7a2c
[Testing] Temporarily skip AddOverride fixture.php.inc hit by order-dependent reflection
TomasVotruba
committed
1b1c2d2
misc
TomasVotruba
committed
e59dc8d
Move SimpleScope/SimpleType logic under Rector\Analyzer namespace
TomasVotruba
committed
c3b2115
[Php81] Resolve caller type via SimpleScope in RemoveReflectionSetAccessibleCallsRector
TomasVotruba
committed
8c7e10e
[Php81] Add edge-case fixtures for SimpleScope-resolved RemoveReflectionSetAccessibleCallsRector
TomasVotruba
committed
f41e25c
[Analyzer] Trim SimpleType to used API: drop describe()/getClassName(), add variadic isInstanceOf()
TomasVotruba
committed
9f65b28
[Analyzer] Attach SimpleScope via decorating node visitor; rules read it at Expression level
TomasVotruba
committed
0927a46
[Analyzer] Remove Demo rule; cover SimpleScope::isObjectType() with a unit test
TomasVotruba
committed
364dd06
[Analyzer] Add parent/interface matching to ObjectType::isInstanceOf via native is_a
TomasVotruba
committed
b90ed7a
[Analyzer] Revert isInstanceOf to exact match; avoid autoloading in isInstanceOf
TomasVotruba
committed
c2c1e76