Navigation Menu

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.

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

ignoreErrors fix reportUnmatched without path/paths #1773

Merged
merged 1 commit into from Sep 29, 2022

Conversation

MartinMystikJonas
Copy link
Contributor

Another fix of extended ignoreErrors - when reportUnmatched is used for message without path/paths it lead to ShouldNotHappen exception. Now this branch is valid and covered.

I also added few more tests for this feature.

Copy link
Member

@ondrejmirtes ondrejmirtes left a comment

Choose a reason for hiding this comment

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

Can you please also test array that just has message or messages? It should work at this point, and makes for more consistent formatting. Thanks.

@MartinMystikJonas
Copy link
Contributor Author

MartinMystikJonas commented Sep 29, 2022

It did not worked now but only because there were explicit check for it. So I removed it and added tests.

@ondrejmirtes ondrejmirtes merged commit 3995b75 into phpstan:1.8.x Sep 29, 2022
@ondrejmirtes
Copy link
Member

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants