psalm-assert-if-false annotation does not work as expected

[AlexMinaev19]

psalm-assert-if-false does not work as expected.

The annotation's location (on interface or class directly) does not impact the result.

https://psalm.dev/r/c8e0097627

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/c8e0097627

<?php

interface ContainerInterface
{
    /**
     * @return list<int>
     */
    public function getAll(): array;
    
    /**
     * @psalm-assert-if-false non-empty-list<int> $this->getAll()
     */
    public function isEmpty(): bool;
}

class Container implements ContainerInterface
{
    /** @var list<int> */
    private array $storage;
    
    /**
     * @param list<int> $storage
     */
    public function __construct(array $storage)
    {
        $this->storage = $storage;
    }

    public function getAll(): array
    {
        return $this->storage;
    }

    public function isEmpty(): bool
    {
        return 0 === \count($this->storage);
    }
}

/**
 * @param non-empty-list<int> $array
 */
function foo(array $array): int
{
    return count($array);
}

$container = new Container([]);

if (false === $container->isEmpty()) {
    foo($container->getAll());
}

Psalm output (using commit 16b24bd):

ERROR: InvalidArgument - 51:9 - Argument 1 of foo expects non-empty-list<int>, but list<int> provided