Skip to content

Narrow to non-empty-string/non-falsey-string after mb_strlen()#3038

Merged
ondrejmirtes merged 1 commit intophpstan:1.11.xfrom
staabm:mbstrlen
May 3, 2024
Merged

Narrow to non-empty-string/non-falsey-string after mb_strlen()#3038
ondrejmirtes merged 1 commit intophpstan:1.11.xfrom
staabm:mbstrlen

Conversation

@staabm
Copy link
Contributor

@staabm staabm commented May 3, 2024

No description provided.

@ondrejmirtes ondrejmirtes merged commit 3361c84 into phpstan:1.11.x May 3, 2024
@ondrejmirtes
Copy link
Member

Thank you!

@staabm staabm deleted the mbstrlen branch May 3, 2024 09:35
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.

2 participants