Misleading or unexpected error message about incomplete match when not trusting phpdoc

[stof]

Bug report

When using a union of class constants as argument and not marking phpdoc types as certain, phpstan complains about the last matched case not being handled.

Code snippet that reproduces the problem

https://phpstan.org/r/7c5c6bcc-0753-475b-a612-46d8f012ae6f

Expected output

No error should be reported. Or if an error is reported due to not being certain, it should talk about other strings, not about the last case (that is handled)

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

Helping a lot.

[Seldaek]

Came here to report the same thing :)

Looks like really the same problem, error here:

https://phpstan.org/r/eda3117d-6a9e-4730-8757-8024376c2c0d

If you turn on "Treat PHPDoc types as certain" the error goes away.

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.