Use declared property type instead of scope-narrowed type when inferring generic `new` expression types#5467

Merged

staabm merged 8 commits into

phpstan:2.1.xfrom

phpstan-bot:create-pull-request/patch-uu4m0vb

Apr 16, 2026

Commits on Apr 15, 2026

Use declared property type instead of scope-narrowed type when inferring generic `new` expression types

github-actions[bot]
authored and
staabm
committed
Use TypeCombinator::intersect() to extract matching type from property union

authored and
staabm
committed
Add test cases for template property types to verify TypeCombinator::intersect() preserves generics

authored and
staabm
committed
Merge NSRT and TooWidePropertyTypeRule test files for bug-11844 into a single shared file

authored and
staabm
committed
Remove redundant isSuperTypeOf check after TypeCombinator::intersect()

authored and
staabm
committed
Remove redundant parentheses around instanceof check

authored and
staabm
committed
Move bug-11844 test file to tests/PHPStan/Analyser/nsrt/ directory

authored and
staabm
committed
Add custom generic class test to demonstrate fix is not WeakMap-specific

authored and
staabm
committed