Switch case matching a class string does not narrow type to that class tring

[BackEndTea]

Bug report

Matching a case statement in a switch case does not narrow the type to the matched type.

Code snippet that reproduces the problem

https://phpstan.org/r/1abaa184-34da-407e-8e7f-db4159c86002

Expected output

No errors

[phpstan-bot]

@BackEndTea After the latest commit in dev-master, PHPStan now reports different result with your code snippet:

@@ @@
-11: Parameter #1 $date of function takesDate expects class-string<DateTime>, string given.
+No errors

[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.