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.