Bug report

In the match operator, you can determine the type of the $object and throw an exception if there is no match!

Code snippet that reproduces the problem

https://phpstan.org/r/42128e1c-6fd1-4616-bff0-24c6e1fe1ea9

Expected output

$object should be instanceof HelloWorld or HelloWorld2

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

No response