array_merge lost non-empty-string keys type

[Guuzen]

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.

[Guuzen]

Is it related to #5846 ?

[phpstan-bot]

@Guuzen After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-14: Dumped type: array<string, string>
+14: Dumped type: array<non-empty-string, string>

Full report

Line	Error
14	Dumped type: array<non-empty-string, string>

[ondrejmirtes]

Fixed by phpstan/phpstan-src#1135

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.