non-empty-string|array in str_replace
#9870
Labels
Milestone
Comments
|
@takaram After the latest push in 2.0.x, PHPStan now reports different result with your code snippet: @@ @@
==========
9: Dumped type: non-empty-string
-11: Dumped type: array<int, string>
-13: Dumped type: array<int, string>|string
+11: Dumped type: array<int<0, max>, string>
+13: Dumped type: list<string>|string
PHP 7.2 – 7.4 (4 errors)
==========
@@ @@
6: Method HelloWorld::sayHello() uses native union types but they're supported only on PHP 8.0 and later.
9: Dumped type: non-empty-string
-11: Dumped type: array<int, string>
-13: Dumped type: array<int, string>|string
+11: Dumped type: array<int<0, max>, string>
+13: Dumped type: list<string>|stringFull reportPHP 8.0 – 8.3 (3 errors)
PHP 7.2 – 7.4 (4 errors)
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Feature request
Related to #5323
PHPStan knows
str_replacereturns non-empty-string when all three arguments are non-empty-string, but it's not true when subject isnon-empty-string|array.https://phpstan.org/r/ebe95b41-e0bf-4a1e-8eb3-3d3e4492555e
Line 13 should be
list<non-empty-string>|non-empty-stringDid PHPStan help you today? Did it make you happy in any way?
I appreciate your hard work to improve PHPStan!
The text was updated successfully, but these errors were encountered: