Non-null template value

[mj4444ru]

Hello. How can I tell psalm in this example that the functions getNotNullValue and getNotNullValue2 return type T, but the result cannot be a null value?

Thank you.

https://psalm.dev/r/80529364ec

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/80529364ec

<?php

interface TestInterface
{
    function test(): void;
}

/**
 * @template T of TestInterface|null
 */
class Test
{
    /**
     * @psalm-param T $value
     */
    public function __construct(
        public TestInterface|null $value
    ) {
    }
    
    /**
     * @return T
     */
    public function getValue(): ?TestInterface
    {
        return $this->value;
    }

    /**
     * @return (T is null ? TestInterface : T)
     */
    public function getNotNullValue(): TestInterface
    {
        if ($this->value === null) {
            throw new Exception('Error');
        }
        
        return $this->value;
    }

    /**
     * @return (T is null ? TestInterface : T)
     */
    public function getNotNullValue2(): TestInterface
    {
        return $this->value ?? throw new Exception('Error');
    }
    
    public function test(): void
    {
        $notNullValue = $this->getNotNullValue();
        /** @psalm-trace $notNullValue */
        $notNullValue->test();
    }
}

Psalm output (using commit ef3b018):

ERROR: PossiblyNullReference - 53:24 - Cannot call method test on possibly null value

INFO: Trace - 53:9 - $notNullValue: (T:Test as TestInterface|null)|TestInterface