Skip to content

Provide more specific explode() return type#5350

Merged
muglug merged 1 commit intovimeo:masterfrom
weirdan:explode-does-not-return-false-with-definitely-non-empty-delimiter
Mar 11, 2021
Merged

Provide more specific explode() return type#5350
muglug merged 1 commit intovimeo:masterfrom
weirdan:explode-does-not-return-false-with-definitely-non-empty-delimiter

Conversation

@weirdan
Copy link
Copy Markdown
Collaborator

@weirdan weirdan commented Mar 8, 2021

Fixes #5347

explode() now omits false from the return type when separator is a definitely non-empty string.

Fixes vimeo#5347

`explode()` now omits `false` from the return type  when separator is a
definitely non-empty string.
@weirdan weirdan requested a review from muglug March 8, 2021 14:15
@muglug muglug merged commit 4f8ba04 into vimeo:master Mar 11, 2021
@muglug
Copy link
Copy Markdown
Collaborator

muglug commented Mar 11, 2021

Thanks!

This was referenced Mar 15, 2021
This was referenced Mar 17, 2021
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.

Psalm thinks explode() can return false

2 participants