Bug report

array_merge lose information about input arrays non-empty-string keys and infer result as just string.

Code snippet that reproduces the problem

https://phpstan.org/r/2c50337c-f1d4-4e79-b230-de7cf21a666f

Expected output

Result key should be non-empty-string.