Bug report

I'm getting ::class from generic input constraint to a parent class. That value then is not getting through literal-string check

Code snippet that reproduces the problem

https://phpstan.org/r/bf021dbe-1b1d-434f-811f-c6ede4beaa6a

Expected output

No error