Bug report

So the idea is that having a function that receives a class-string of an object or a class-string of a Proxy of that object and it returns the class-string of the object.

Ref: #4802

Code snippet that reproduces the problem

https://phpstan.org/r/94be9c1a-f99d-4403-afb4-8f038433aaf1

Expected output

No issues