Bug report

The fact that a parameter/promoted property is marked as non-empty-array should not be used by PHPStan to make suggestions when treatPhpDocTypesAsCertain is set to false in the configuration.

Code snippet that reproduces the problem

https://phpstan.org/r/d53b2ef4-e663-4a5b-856a-2c20f8c92201

Expected output

PHPStan should not complain about checking that the parameter is not an empty array