Class App\Entity\User has an uninitialized readonly property $id. Assign it in the constructor.

[karaka200]

Bug report

Class App\Entity\User has an uninitialized readonly property $id. Assign it in the constructor.

Code snippet that reproduces the problem

I use Symfony 6.1.0 and PHP 8.1.6.My user entity has this code:

...
#[ORM\Id]
#[ORM\GeneratedValue]
#[ORM\Column]
private readonly int $id;
...

I install phpstan/phpstan and phpstan/phpstan-doctrine and phpstan/phpstan-symfony packages.
When analyze with PHPStan ( php vendor/bin/phpstan analyse src ), display this error:

 ------ -------------------------------------------------------------------------------------------------
  Line   Entity\User.php
 ------ -------------------------------------------------------------------------------------------------
  17     Class App\Entity\User has an uninitialized readonly property $id. Assign it in the constructor.
 ------ -------------------------------------------------------------------------------------------------

Line 17 is : private readonly int $id;

Expected output

private readonly int $id; is correct and should not display an error.

[mergeable]

This bug report is missing a link to reproduction at phpstan.org/try.

It will most likely be closed after manual review.

[ondrejmirtes]

Fixed: phpstan/phpstan-src#1357

[karaka200]

@ondrejmirtes I updated the PHPStan and deleted the result cache, but I still get this errors

[ondrejmirtes]

/cc @herndlm can you please verify the fix in phpstan-doctrine? Write a new RuleTestCase for the right rule and get the rule instance via self::getContained()->getByType(). And if the test passes, verify that it failed before the fix in PHPStan. Thank you 😊

[ondrejmirtes]

Fixed and released in phpstan-doctrine 1.3.7. Please test it, thanks.

[karaka200]

Thank you. Works without problems

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.