Psalm cannot properly infer interfaces when these are declared via class_alias

[boesing]

When using class_alias to replace an existing interface, psalm is not able to verify that the implementing class implements that interface.

https://psalm.dev/r/d0893a607e

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/d0893a607e

<?php

namespace Psr\Container
{
	interface ContainerInterface
    {}
}


namespace Interop\Container
{
    class_alias(\Psr\Container\ContainerInterface::class, ContainerInterface::class);
}


namespace Foo
{
    use Interop\Container\ContainerInterface;
    
    interface ClassInterface
    {
        public function __construct(ContainerInterface $container);
    }
    
    class ClassName implements ClassInterface
    {
        public function __construct(ContainerInterface $container)
        {
        }
    }
    
    class Container implements ContainerInterface
    {
    }
}

namespace Baz
{
    use Foo\Container;
    use Foo\ClassName;
    
    
    class Foo
    {
        /** @var Container */
        private $container;
        
        public function __construct(Container $container)
        {
        	$this->container = $container;
        }
        
    	public function initialize(): void
        {
            new ClassName($this->container);
        }
    }
}

Psalm output (using commit 285fa13):

ERROR: InvalidArgument - 55:27 - Argument 1 of Foo\ClassName::__construct expects Psr\Container\ContainerInterface, Foo\Container provided