Skip to content

Fix array_column() with null as $column_key#970

Merged
ondrejmirtes merged 1 commit intophpstan:masterfrom
jlherren:bug-6497
Feb 1, 2022
Merged

Fix array_column() with null as $column_key#970
ondrejmirtes merged 1 commit intophpstan:masterfrom
jlherren:bug-6497

Conversation

@jlherren
Copy link
Contributor

@jlherren jlherren commented Feb 1, 2022

@ondrejmirtes ondrejmirtes merged commit 28179f2 into phpstan:master Feb 1, 2022
@ondrejmirtes
Copy link
Member

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Incorrect array type after array_column with second parameter null

2 participants