@phpstan-assert-if-true miss when implements

[snapshotpl]

Bug report

When use @phpstan-assert-if-true in interface with template and implementation define type, then @phpstan-assert-if-true doesn't respect given type.

Code snippet that reproduces the problem

https://phpstan.org/r/b546d60e-e115-443a-9dbc-1d5cb757d2de

Expected output

Event type in both cases

[phpstan-bot]

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

@@ @@
+ 3: Declare strict_types must be the very first statement.
 32: Dumped type: T of Event (class EventListener, parameter)
 51: Dumped type: MyEvent

Full report

Line	Error
3	Declare strict_types must be the very first statement.
32	Dumped type: T of Event (class EventListener, parameter)
51	Dumped type: MyEvent

[phpstan-bot]

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

@@ @@
+ 3: Declare strict_types must be the very first statement.
 32: Dumped type: T of Event (class EventListener, parameter)
+37: Cannot declare class Implementation because the name is already in use.
 51: Dumped type: MyEvent

Full report

Line	Error
3	Declare strict_types must be the very first statement.
32	Dumped type: T of Event (class EventListener, parameter)
37	Cannot declare class Implementation because the name is already in use.
51	Dumped type: MyEvent

[snapshotpl]

I fixed a little a playground example https://phpstan.org/r/95d2b8a3-4a73-4a82-89ed-70ebef42914a

[ondrejmirtes]

Fixed: phpstan/phpstan-src#2909

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