Previously working generic for exception class fails

[vojtech-dobes]

Bug report

We have a generic class, which receives exception class as templated parameter and then uses it to throw. Previously it was recognized by PhpStan, but both on 0.12.26 & 0.12.27 this now fails (both on throw and on @throws phpDoc).

Invalid type TExceptionClass of RuntimeException to throw
PHPDoc tag @throws with type TExceptionClass of Exception is not subtype of Throwable

Code snippet that reproduces the problem

https://phpstan.org/r/a2f79f88-a35e-450d-86d1-86d750e6b21b

Expected output

No error.

[hrach]

Tested with another expected result.

The issue is the ObjectType is "anything that implements/extends the type".

The question asks if "anything implementing Throwable" is superTypeOf the passed "T of Exception". And the correct answer (IMO) is a maybe. As somehow described in #3333, I worry that we need another type.

[ondrejmirtes]

In case of $e instanceof \Throwable we can be sure it's yes (and that should be fixed).
In case of $e instanceof $throwable it's correctly maybe.

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