Bug report

According to the documentation, is_numeric() finds whether a variable is a number or a numeric string. Although, PHPStan thinks that a variable that passes the is-numeric test can contain an array.

Code snippet that reproduces the problem

https://phpstan.org/r/d65e6a61-95bd-44ac-8093-5afe354bf16c

Expected output

No error