Skip to content

Invalid error reported for array_filter() usage. #2266

@ADmad

Description

@ADmad

Code snippet that reproduces the problem

https://phpstan.org/r/8c689494-f851-4d71-bb22-3be3d49c0bfa

Expected output

No error

Metadata

Metadata

Assignees

No one assigned

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions