Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cover non-empty-array in array_map() #601

Merged
merged 1 commit into from Aug 15, 2021
Merged

Cover non-empty-array in array_map() #601

merged 1 commit into from Aug 15, 2021

Conversation

Lctrs
Copy link
Contributor

@Lctrs Lctrs commented Jul 30, 2021

No description provided.

@Lctrs
Copy link
Contributor Author

Lctrs commented Jul 31, 2021

Build error is unrelated.

staabm
staabm approved these changes Aug 10, 2021
View reviewed changes
Copy link
Contributor

@staabm staabm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I like

@ondrejmirtes ondrejmirtes merged commit 353367c into phpstan:master Aug 15, 2021
@ondrejmirtes
Copy link
Member

Perfect, thank you!

@Lctrs Lctrs deleted the feature/non-empty-array-map branch August 15, 2021 17:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@staabm staabm staabm approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
3 participants
@Lctrs @ondrejmirtes @staabm