False positive with aliased interfaces

[mad-briller]

Bug report

Aliased interfaces are not handled properly when performing type comparisons

Can't reproduce in playground due to use of bootstrapFiles but here is a repro:

https://github.com/mad-briller/phpstan-alias-repro

Running php vendor/bin/phpstan causes the following unexpected error:

=> php vendor/bin/phpstan
Note: Using configuration file /home/brad.miller/code/phpstan-alias-repo/phpstan.neon.dist.
 5/5 [▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓] 100%

 ------ ------------------------------------------------------------------------------------------------------------------------------------------------------------
  Line   test.php
 ------ ------------------------------------------------------------------------------------------------------------------------------------------------------------
  12     Parameter #1 $impl of method Madbriller\PhpstanRepro\Consumer::call() expects Madbriller\PhpstanRepro\InterfaceExists, Madbriller\PhpstanRepro\Impl given.
 ------ ------------------------------------------------------------------------------------------------------------------------------------------------------------


 [ERROR] Found 1 error

However running php src/test.php prints "reached".

Code snippet that reproduces the problem

No response

Expected output

I would expect no error as the code runs correctly

Did PHPStan help you today? Did it make you happy in any way?

Everyday!

[mergeable]

This bug report is missing a link to reproduction at phpstan.org/try.

It will most likely be closed after manual review.

[ondrejmirtes]

Adopted regression test: c1a0c97
Fix: phpstan/phpstan-src@d5c599c

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