Bug report

When using @method annotation to override a trait typehint, it doesn't work as expected.
PHPStan should get our typehint from the annotation.
I saw that @method annotations does work for unknown methods but not when the method exists.

Code snippet that reproduces the problem

https://phpstan.org/r/29222d5c-c550-480a-97a1-7388c83c41f7

Expected output

Output should be green