Skip to content

Fix array_key_exists narrows $key too much#4151

Merged
ondrejmirtes merged 1 commit intophpstan:2.1.xfrom
staabm:bug11724
Aug 4, 2025
Merged

Fix array_key_exists narrows $key too much#4151
ondrejmirtes merged 1 commit intophpstan:2.1.xfrom
staabm:bug11724

Conversation

@staabm
Copy link
Copy Markdown
Contributor

@staabm staabm commented Jul 23, 2025

@staabm staabm marked this pull request as ready for review July 23, 2025 14:33
@phpstan-bot
Copy link
Copy Markdown
Collaborator

This pull request has been marked as ready for review.

@ondrejmirtes ondrejmirtes merged commit 9bde094 into phpstan:2.1.x Aug 4, 2025
438 of 446 checks passed
@ondrejmirtes
Copy link
Copy Markdown
Member

Thank you!

@staabm staabm deleted the bug11724 branch August 4, 2025 16:15
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_key_exists narrows $key too much

3 participants