Skip to content

Fix strlen($x) > $n === true negation#3040

Merged
ondrejmirtes merged 2 commits intophpstan:1.11.xfrom
staabm:strlen
May 8, 2024
Merged

Fix strlen($x) > $n === true negation#3040
ondrejmirtes merged 2 commits intophpstan:1.11.xfrom
staabm:strlen

Conversation

@staabm
Copy link
Copy Markdown
Contributor

@staabm staabm commented May 3, 2024

as noted in #3037 (comment)

@staabm staabm marked this pull request as ready for review May 3, 2024 12:41
@phpstan-bot
Copy link
Copy Markdown
Collaborator

This pull request has been marked as ready for review.

@staabm staabm force-pushed the strlen branch 2 times, most recently from bb32978 to 42c1cab Compare May 6, 2024 14:25
@ondrejmirtes ondrejmirtes merged commit cab49eb into phpstan:1.11.x May 8, 2024
@ondrejmirtes
Copy link
Copy Markdown
Member

Thank you!

@staabm staabm deleted the strlen branch May 8, 2024 12:27
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.

3 participants