Bug report
Explained in the playground link.
Code snippet that reproduces the problem
https://phpstan.org/r/e8a35da3-39dd-431e-960f-fc7e77dba4f2
https://phpstan.org/r/026707d1-2de9-4bbb-8f1c-d47312de414c
Expected output
no errors
Did PHPStan help you today? Did it make you happy in any way?
No response
Bug report
Explained in the playground link.
Code snippet that reproduces the problem
https://phpstan.org/r/e8a35da3-39dd-431e-960f-fc7e77dba4f2https://phpstan.org/r/026707d1-2de9-4bbb-8f1c-d47312de414c
Expected output
no errors
Did PHPStan help you today? Did it make you happy in any way?
No response