Regarding the analysis of the return value of range()

[keibass]

Bug report

When attempting to assign the return value of range() to a property marked as list, a type mismatch error is reported.
However, $count is confirmed to be positive-int, and the return value of range() should definitely be list.

#9572

Code snippet that reproduces the problem

https://phpstan.org/r/133e0fc4-a35e-4546-bbc0-d49efe4a70c3

Expected output

No error

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

No response

[GMQS]

As additional information, the same phenomenon did not occur with local variables. It is only confirmed to happen with properties.

[phpstan-bot]

@keibass After the latest push in 1.11.x, PHPStan now reports different result with your code snippet:

@@ @@
-12: Property MyClass::$array (array<int, int<1, max>>) does not accept array<int, int>.
+No errors

[ondrejmirtes]

Fixed phpstan/phpstan-src#2792

[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.