Array key type isn't reduced based on conditions, but value type is

[dktapps]

Bug report

In the below example, an array is populated using the same keys and values. The values are correctly inferred to be limited to 2|3|4|5, but the keys are not, resulting in a spurious error.

Code snippet that reproduces the problem

https://phpstan.org/r/d2f07757-a48b-43ed-a27f-87cdd012922a

Expected output

No error should be reported.

[phpstan-bot]

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

@@ @@
-33: Dumped type: array<int, 2|3|4|5>
-34: Property Vine::$faces (array<2|3|4|5, 2|3|4|5>) does not accept array<int, 2|3|4|5>.
+33: Dumped type: array<2|3|4|5, 2|3|4|5>

Full report

Line	Error
33	`Dumped type: array<2

[dktapps]

Nice. Looks like this can be closed pending regression tests.

[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.