Skip to content

Fix array_search extension incorrectly returning null#1633

Merged
ondrejmirtes merged 1 commit intophpstan:1.8.xfrom
herndlm:bug-7809
Aug 20, 2022
Merged

Fix array_search extension incorrectly returning null#1633
ondrejmirtes merged 1 commit intophpstan:1.8.xfrom
herndlm:bug-7809

Conversation

@herndlm
Copy link
Copy Markdown
Contributor

@herndlm herndlm commented Aug 18, 2022

Closes phpstan/phpstan#7809

I think this was already wrongfully introduced in 5ecdd07 and partly fixed in c74dca6. But maybe I'm also missing something..

@herndlm herndlm marked this pull request as ready for review August 18, 2022 14:11
@ondrejmirtes ondrejmirtes merged commit a45dc3b into phpstan:1.8.x Aug 20, 2022
@ondrejmirtes
Copy link
Copy Markdown
Member

Thank you!

@herndlm herndlm deleted the bug-7809 branch August 20, 2022 17:42
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_search() type under certain conditions

2 participants