False positive `property.onlyWritten`

[Slamdunk]

Bug report

Source: https://github.com/lcobucci/jwt/actions/runs/26173872082/job/76998706779

The issues to focus on from the playground are:

• 35: Property Lcobucci\JWT\Configuration::$encoder is never read, only written.
• 36: Property Lcobucci\JWT\Configuration::$decoder is never read, only written.

But both are instead read many times in the class.

Code snippet that reproduces the problem

https://phpstan.org/r/9cb3f134-f0aa-4efb-befc-d417dfb9ffde

Expected output

No property.onlyWritten error

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

No response

[ondrejmirtes]

The property is only ever used to pass itself into the constructor, that's why it's marked like that.

I understand the constructor parameter is additionally used inside the constructor, so we'll suppress the error in this case.

[HypeMC]

This is a simpler example: https://phpstan.org/r/090f0e75-acc9-4dda-85ea-10fad6fdca5c

[ondrejmirtes]

Fixed phpstan/phpstan-src@1b1b65c