`@property` Annotations on Non-Public Properties

[kayw-geek]

Bug report

Problem:

PHPStan's @Property annotation correctly narrows the type for public properties, but fails to apply the same narrowing for protected or private properties.

Actual Behavior:

• Public properties: The @property int $a annotation successfully narrows int|string $a to int
• Protected/Private properties: The @property int $a annotation is ignored, and PHPStan infers the type as int|string

Code snippet that reproduces the problem

https://phpstan.org/r/c354ca2f-f42a-4194-99b1-f43aed7cd1e7

Expected output

The @Property annotation should narrow the property type regardless of the property's visibility (public, protected, or private).

Did PHPStan help you today? Did it make you happy in any way?

No response

[ondrejmirtes]

What's your use-case here? You can have a more precise type directly in the property.

[kayw-geek]

What's your use-case here? You can have a more precise type directly in the property.

https://phpstan.org/r/ae688ddf-0943-4239-81d7-62f402d88b01

I need to be consistent with the type declaration of the base class.

[claudepache]

PHPStan's @Property annotation correctly narrows the type for public properties…

I’m not sure it is “correct”: https://phpstan.org/r/93c994c3-11bd-47b0-bbfe-70bbbe1b2be1

[kayw-geek]

PHPStan's @Property annotation correctly narrows the type for public properties…

I’m not sure it is “correct”: phpstan.org/r/93c994c3-11bd-47b0-bbfe-70bbbe1b2be1

Seem like this is a excellent workaround, but i need write many methods for static type analyses. 🫣