Skip to content

Marks incremented key as repeated #1845

@macarenomarco

Description

@macarenomarco

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions