Fix phpstan/phpstan#13380: Promoting protected property to public in subclass generates `uninitialized property`#5353

Closed

phpstan-bot wants to merge 7 commits into

phpstan:2.1.xfrom

phpstan-bot:create-pull-request/patch-55kt220

Commits on Apr 7, 2026

Fix phpstan/phpstan#13380: Promoted property visibility change causes false uninitialized error

github-actions[bot]
authored and
staabm
committed
Walk ancestor chain to find promoted property in inherited constructor

authored and
staabm
committed
Report uninitialized property when inherited constructor doesn't promote it

authored and
staabm
committed
Do not treat private promoted properties as initializing redeclared child property

authored and
staabm
committed
Rename

VincentLanglet
authored and
staabm
committed
Fix lint

VincentLanglet
authored and
staabm
committed
Handle non-promoted properties and additional constructors for inherited initialization

phpstan-bot
and
claude
committed