Bug report

Treat PHPDoc types as certain is not working inside a class method but does work outside with the same code.

Playground working outside class method

Code snippet that reproduces the problem

https://phpstan.org/r/927f95de-3357-4ff7-899a-494b0f073159

Expected output

No errors!

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

No response