Bug when using "@template" about psalm HOT 1 OPEN

<?php

interface TestInterface
{
    public function test(): void;
}

function f1(?string $p): string
{
    if ($p === null) {
        throw new Exception('Error');
    }
    
    return $p;
}

function f2(?string $p): string
{
    return $p ?? throw new Exception('Error');
}

function f3(?TestInterface $p): TestInterface
{
    return $p ?? throw new Exception('Error');
}


$r1 = f1(null);
$r2 = f2(null);
$r3 = f3(null);

/** @psalm-trace $r1, $r2, $r3 */

<?php

interface TestInterface
{
    public function test(): void;
}

class Test
{
    public function __construct(
        public TestInterface|null $value
    ) {
    }
    
    public function getValue(): ?TestInterface
    {
        return $this->value;
    }

    public function getValue2(): TestInterface
    {
        if ($this->value === null) {
            throw new Exception('Error');
        }
        
        return $this->value;
    }

    public function getValue3(): TestInterface
    {
        return $this->value ?? throw new Exception('Error');
    }
}

$obj = new Test(null);
$r1 = $obj->getValue();
$r2 = $obj->getValue2();
$r3 = $obj->getValue3();

/** @psalm-trace $r1, $r2, $r3 */

<?php

interface TestInterface
{
    public function test(): void;
}

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

    public function getValue2(): TestInterface
    {
        if ($this->value === null) {
            throw new Exception('Error');
        }
        
        return $this->value;
    }

    public function getValue3(): TestInterface
    {
        return $this->value ?? throw new Exception('Error');
    }
}

$obj = new Test(null);
$r1 = $obj->getValue();
$r2 = $obj->getValue2();
$r3 = $obj->getValue3();

/** @psalm-trace $r1, $r2, $r3 */