Skip to content

list<int> is changed to array when using array_push with variadic parameter #8449

New issue
New issue
Closed
phpstan/phpstan-src
#2451
Closed
list<int> is changed to array when using array_push with variadic parameter#8449
phpstan/phpstan-src
#2451
Labels
bug
Milestone
Easy fixes
@kukulich

Description

@kukulich
kukulich
opened on Dec 2, 2022

Bug report

https://phpstan.org/r/9397a563-b62a-417c-8713-9aeb67be90d7

Expected output

No error

Metadata

Metadata

Assignees

No one assigned

    Labels

    bug

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions