Skip to content

implement ArraySearchFunctionTypeSpecifyingExtension#1086

Merged
ondrejmirtes merged 2 commits intophpstan:1.5.xfrom
staabm:search-specifying
Mar 21, 2022
Merged

implement ArraySearchFunctionTypeSpecifyingExtension#1086
ondrejmirtes merged 2 commits intophpstan:1.5.xfrom
staabm:search-specifying

Conversation

@staabm
Copy link
Copy Markdown
Contributor

@staabm staabm commented Mar 19, 2022

@ondrejmirtes ondrejmirtes merged commit 5c48a18 into phpstan:1.5.x Mar 21, 2022
@ondrejmirtes
Copy link
Copy Markdown
Member

Thank you.

@staabm staabm deleted the search-specifying branch March 21, 2022 12:36
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.

array_search should lead to a non-empty-array

3 participants