Support non-empty-array with positive-int given to array_fill

[staabm]

closes phpstan/phpstan#5284

[staabm]

this failling test makes me crazy

when adjusting the expected type and remove the nonEmpty case it fails because of a missing nonEmpty.
when adding it, it yells about it would be too much.

also, I can't find the actual sources of this array_fill(2, $integer, ...) test-case in the data-providing file array-functions.php?

[ondrejmirtes]

when adding it, it yells about it would be too much.

Maybe it's different PHP versions that make the assert fail? I don't see otherwise a reason for this behaviour, one type always has to be correct.

 I can't find the actual sources

Check out LegacyNodeScoperResolverTest.php, it works differently.

[staabm]

covered in #603