Bug report

Switch using ::class on object does not track object type in case blocks.

Code snippet that reproduces the problem

https://phpstan.org/r/2bfd9101-de21-44ad-a7b0-6a96ebe9cdf7

Expected output

No errors