`No error with identifier xxx is reported` altough it is reported

[janedbal]

Bug report

See snippet, the wording should be different. Currently, I assumed I can remove whole @phpstan-ignore

Code snippet that reproduces the problem

https://phpstan.org/r/e40ad066-b876-4589-8400-2d88d2c3f0c3

Expected output

Error with identifier class.notFound was ignored twice, but reported only once on line 9.

Did PHPStan help you today? Did it make you happy in any way?

No response

[stephanedelprat]

Class Two exists in your example, so the error should be ignored only once (for class One):

https://phpstan.org/r/99560d4d-d988-4ea6-ac5f-62b9fd8ab8df

Did I miss something ?

[janedbal]

@stephanedelprat Yes, it should. And PHPStan should correct me with proper output as mentioned above.