Summary of a problem or a feature request

Error Array has 2 duplicate keys with value 0 ($idx++, $idx++) appears when using an incremented numeric array index.

Code snippet that reproduces the problem

https://phpstan.org/r/e59aac4f-74c0-412a-b392-a457809628dd

Expected output

This is not an error and it should not be reported