Skip to content

ignoreErrors fix reportUnmatched without path/paths#1773

Merged
ondrejmirtes merged 1 commit intophpstan:1.8.xfrom
MartinMystikJonas:ignoreErrors-fix-2
Sep 29, 2022
Merged

ignoreErrors fix reportUnmatched without path/paths#1773
ondrejmirtes merged 1 commit intophpstan:1.8.xfrom
MartinMystikJonas:ignoreErrors-fix-2

Conversation

@MartinMystikJonas
Copy link
Copy Markdown
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
Copy Markdown
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
Copy Markdown
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
Copy Markdown
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

Development

Successfully merging this pull request may close these issues.

2 participants