Method expects Template of object, Template of object|Template of object given.

[biozshock]

Bug report

I'm not even sure how to explain, sorry.
Probably it infers something from method_exists and does not print it out?

Code snippet that reproduces the problem

https://phpstan.org/r/62cf8f07-ea60-4d5e-842a-41bd454c0a84

Expected output

No errors?

[phpstan-bot]

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

@@ @@
-18: Parameter #1 $entity of method HelloWorld<TEntityClass of object>::show() expects TEntityClass of object, TEntityClass of object|TEntityClass of object given.
+18: Parameter #1 $entity of method HelloWorld<TEntityClass of object>::show() expects TEntityClass of object, TEntityClass of object given.

Full report

Line	Error
18	Parameter #1 $entity of method HelloWorld<TEntityClass of object>::show() expects TEntityClass of object, TEntityClass of object given.

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