Wrong template inheritance with stubs

[thomasvargiu]

Seems the same resolved issue #4524, but with stubs.

See this project:

https://github.com/thomasvargiu/psalm-issues-tests/tree/wrong-template-inheritance-with-stubs

Where there are:

• original source
• stubs
• test file

In the CI you can see:

• used stubs
• test file and psalm result

$identity = new Original\Identity('foo');
$function = fn (string $a): int => random_int(-1, 1);

/** @psalm-trace $value */
$value = $identity->map($function);
``` 

ERROR: Trace - test.php:9:1 - $value: Original\Functor (see https://psalm.dev/224)
/** @psalm-trace $value */
$value = $identity->map($function);

When instead I expect `$value` as `Original\Functor<int>`.
If I remove docblock from the original file it works.

@muglug I added you to the repository, so you can run tests again. It uses psalm master branch.

[psalm-github-bot]

Hey @thomasvargiu, can you reproduce the issue on https://psalm.dev ?

[muglug]

Before I delve into this, mind checking to see if it works with latest master?

[thomasvargiu]

Yeah it works! Thanks!

[thomasvargiu]

@muglug You're so fast!
I was reopening it founding another bug introduced in last commits! And you already resolved! Thanks for your work!
I'm not confident yet with Psalm internals to open a PR in a short time!

[muglug]

Yeah, this fix was not trivial: 3dd185e (and broke Psalm itself, leading to two additional fixes).

If you want to brush up on Psalm's internals there are a ton of bugs here: https://github.com/vimeo/psalm/issues?q=is%3Aopen+is%3Aissue+label%3A%22easy+problems%22