Bug report

PHPStan changed type from array (in my case array{default?: int}) to *NEVER*. I discover that this behavior was introduced in version 0.12.60 (0.12.59 is OK).

Code snippet that reproduces the problem

https://phpstan.org/r/8851a26d-ccfc-43e2-95b6-acf531da1d09

Expected output

Do not change type to *NEVER*. Let it be as before.