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
I would have expected no errors in the code snippet below. If a $var is numeric I should be able to cast it to int, but it doesn't seem that phpstan recognizes this.
Bug report
I would have expected no errors in the code snippet below. If a
$var
is numeric I should be able to cast it to int, but it doesn't seem that phpstan recognizes this.It works with
is_scalar
though.Code snippet that reproduces the problem
https://phpstan.org/r/c684ee69-d6a4-4455-8d1f-82fd8ba46ae5
Expected output
No errors
The text was updated successfully, but these errors were encountered: