Bug report

In recent version new errors popped up for what it seems valid code logic.

When needing to handle multiple type for an argument, putting type1|type2 in phpdoc and testing is_type1 followed by is_type2 will throw ... will always evaluate to true errors.

Code snippet that reproduces the problem

https://phpstan.org/r/b50a08c3-1761-41ac-a7cb-8a284d8d1b7e

Expected output

No errors