Uninterpreted class alias

[emmanuelGuiton]

When the 1.3.6 version of yohang/finite war released, Psalm started to emit errors such as :

ERROR: MissingDependency - sources/StateMachine.php:520:74 - Finite\Event\TransitionEvent depends on class or interface symfony\component\eventdispatcher\event that does not exist (see https://psalm.dev/157)
                $this->getDispatcher()->addListener('finite.post_transition', function(TransitionEvent $e) {

When comparing the 1.3.5 and 1.3.6 versions yohang/Finite@1.3.5...1.3.6
One can notice this change :

- if (!class_exists('Symfony\Contracts\EventDispatcher\Event')) {
+ if ((!is_subclass_of('Symfony\Component\EventDispatcher\EventDispatcher', 
+ 'Symfony\Contracts\EventDispatcher\EventDispatcherInterface'))) {
+     class_alias('Symfony\Component\EventDispatcher\Event', 'Symfony\Contracts\EventDispatcher\Event');
+ }

So it seems that Psalm fails to see that the Symfony\Component\EventDispatcher\Event class is in fact an alias towards an existing class which is Symfony\Contracts\EventDispatcher\Event

[psalm-github-bot]

Hey @emmanuelGuiton, can you reproduce the issue on https://psalm.dev? These will be used as phpunit tests when implementing the feature or fixing this bug.