class-string<T of Something> should pass through literal-string

[simPod]

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

[craigfrancis]

Kinda related to #332 for phpstan-doctrine, unfortunately I'm a little busy atm.

[ondrejmirtes]

I disagree, you should type class-string<T>&literal-string intersection type.

[ondrejmirtes]

Oh sorry, disregard my comment.

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.