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