You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The behavior of (int) cast and intval() function should be the same, but only casting shows the error:
ERROR: RiskyCast - 3:13 - Casting non-empty-array<int|non-empty-string, array<int|non-empty-string, mixed>|string> to int has possibly unintended value of 0/1
The text was updated successfully, but these errors were encountered:
Psalm output (using commit 16b24bd):
ERROR: RiskyCast - 3:13 - Casting non-empty-array<int|non-empty-string, array<int|non-empty-string, mixed>|string> to int has possibly unintended value of 0/1
INFO: UnusedVariable - 3:1 - $a is never referenced or the value is not used
INFO: UnusedVariable - 5:1 - $b is never referenced or the value is not used
https://psalm.dev/r/2af7638a7e
The behavior of
(int)
cast andintval()
function should be the same, but only casting shows the error:The text was updated successfully, but these errors were encountered: