FP: Switch(count(array)) doesn't infer non-empty-array when case is 1 or more #4499
Labels
Comments
|
PHPStan mostly doesn't support Works with |
|
Thanks. |
|
@dktapps After the latest commit in dev-master, PHPStan now reports different result with your code snippet: @@ @@
-7: Dumped type: int|null
+7: Dumped type: intFull report
|
|
@ondrejmirtes After the latest commit in dev-master, PHPStan now reports different result with your code snippet: @@ @@
-6: Dumped type: int|null
+6: Dumped type: intFull report
|
|
Fixed by: phpstan/phpstan-src#648 |
ondrejmirtes
added a commit
to phpstan/phpstan-src
that referenced
this issue
Aug 31, 2021
Ref phpstan/phpstan#4793 Ref phpstan/phpstan#5062 Ref phpstan/phpstan#5447 Ref phpstan/phpstan#5454 Ref phpstan/phpstan#3366 Ref phpstan/phpstan#5072 Ref phpstan/phpstan#3530 Ref phpstan/phpstan#5530 Ref phpstan/phpstan#1861 Ref phpstan/phpstan#4843 Ref phpstan/phpstan#4602 Ref phpstan/phpstan#4499 Ref phpstan/phpstan#2142
|
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. |
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Bug report
Code snippet that reproduces the problem
https://phpstan.org/r/30604226-e6f3-459e-947c-95a807f7c064
Expected output
The dumped type should be
int, notint|null, because the number of items is known to be non-zero.The text was updated successfully, but these errors were encountered: