Bug report

We have a class that extends \Redis for instrumentation purposes.

Code snippet that reproduces the problem

Old code, that JetBrains/phpstorm-stubs#1436 seems to break:
https://phpstan.org/r/8e46f0df-101e-4d9b-b114-f2cd35af8556

New code that still has an error
https://phpstan.org/r/5dd2a695-1065-4111-be9d-1ded759214d6

Expected output

No errors with the new code

Did PHPStan help you today? Did it make you happy in any way?

Yes :)