Strict rule "Instanceof between A and A will always evaluate to true." may be counter productinve in a match arm #8042
Description
Bug report
The strict rule "Instanceof between X and Y will always evaluate to true." may be counter productive in a match arm. The error can be fixed by using a default arm, but this defeats exhaustive checking.
Code snippet that reproduces the problem
https://phpstan.org/r/329298a8-f263-4d56-a073-ac92769ee3bd
Expected output
No error
Did PHPStan help you today? Did it make you happy in any way?
PHPStan is great!