@psalm-assert-if-true cannot be used with imported types.

[rzvc]

https://psalm.dev/r/a9678dc68b

In the same file, it doesn't work if the imported type is also aliased to something else. Probably because the original type is available to the calling code anyway. When the class is used from a different file, it just doesn't work, even if the type is imported in the current scope and it has the correct name.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/a9678dc68b

<?php

/**
* @psalm-type SomeItemTypex = object{text: string}
*/
class TypesContainer
{
}

/**
* @psalm-import-type SomeItemTypex from TypesContainer as SomeItemType
*/
class ItemContainer
{
    /** @var ?SomeItemType */
    private $item = null;
    
    /**
     * @psalm-assert-if-true SomeItemType $this->get()
     * @psalm-mutation-free
     */
	public function has() : bool
	{
        return $this->item !== null;
	}

    /**
     * @psalm-mutation-free
     * @return ?SomeItemType
     */
	public function get()
	{
        return $this->item;
	}
}

$container = new ItemContainer();
print_r($container->get()->text);

if ($container->has())
    print_r($container->get()->text);

Psalm output (using commit 2a72a24):

ERROR: PossiblyNullPropertyFetch - 38:9 - Cannot get property on possibly null variable $container->get() of type null|object{text:string}

ERROR: UndefinedClass - 41:13 - Cannot get properties of undefined class SomeItemType