Psalm-type messing with generics

[MaximJam]

Bug report

Hello,

I've been trying to fix a project after an update, and a third party added psalm annotations to their classes, which caused some generic template analysis to throw errors.

I've read as much as I could find on the subject with no luck, so I'm asking here.

I could not reproduce the exact issue but here is something similar :
Not working

If I just remove the psalm-type, I've got no more errors.
Working

I've read that phpstan will read psalm annotations since both define generics, and I guess I could always stub the 3rd party to make it work, but I'd rather understand where the problem lies.

I'm sorry for the issue if this is expected behavior, I could not find anything going that way.

And I'd also like to thank all of you for the great work at PhpStan, it's hard to tell the amount of time it saved us, but I know it's substantial.

Have a nice day.

[phpstan-bot]

@MaximJam After the latest push in 1.10.x, PHPStan now reports different result with your code snippet:

@@ @@
-17: PHPDoc tag @extends contains generic type Paginator<int, AccountEntity> but class Paginator is not generic.
+12: Invalid type definition detected in type alias PagesType.

Full report

Line	Error
12	Invalid type definition detected in type alias PagesType.

[phpstan-bot]

@MaximJam After the latest push in 1.10.x, PHPStan now reports different result with your code snippet:

@@ @@
-17: PHPDoc tag @extends contains generic type Paginator<int, AccountEntity> but class Paginator is not generic.
+No errors

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