is_subclass_of(string, string) generates invalid prediction #3979
Description
Bug report
Erroneus report: Result of && is always false
Clearly that is not correct as demonstrated by the two calls below.
Code snippet that reproduces the problem
https://phpstan.org/r/99bd746d-80c2-4eb1-8506-2840c6fd5089
Expected output
No errors.