Thanks to visit codestin.com
Credit goes to github.com

Skip to content

BleedingEdge: Offset '1234' on array<string, Test>&nonEmpty in isset() does not exist. #4296

@glaubinix

Description

@glaubinix

Bug report

With bleeding edge enabled PHPStan level 4 or higher on latest version and on the playground in some case seems to incorrectly assume that certain array keys do not exist.

Code snippet that reproduces the problem

https://phpstan.org/r/31fc807c-3553-4f8d-ba0b-248fd800fa81

Expected output

No error in case where the offset/key exists.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions