array_replace change type of array

[momala454]

Bug report

When using array_replace on an existing array with known keys, now the existing keys are only "possible"

Code snippet that reproduces the problem

https://phpstan.org/r/70b1e175-a50d-4521-b4ce-2ffa2aac82d5

Expected output

array{abc: 'def', hello: 'country'}

Actual output

non-empty-array<'abc'|'hello', 'country'|'def'|'world'>

Did PHPStan help you today? Did it make you happy in any way?

No response

[herndlm]

Looks like https://github.com/phpstan/phpstan-src/blob/f2f2ddf44425cc58b5b1537ddce7cd06a9bba074/src/Type/Php/ArrayReplaceFunctionReturnTypeExtension.php does not handle constant arrays properly

It uses all input arg arrays without actually doing a replace. Looks like it would need to be rewritten or heavily adapted.

[VincentLanglet]

@herndlm I tried to rework the extension based on the ArrayMerge one, if you want to take a look
phpstan/phpstan-src#3958