psalm not understanding properties-of<Class> assignment to a ParentClass property, if properties-of<ParentClass> is used about psalm HOT 1 OPEN

<?php

// Class we'll load properties-of into a property of another class
class DBLoginInfo
{
    /**
     * @param string $host 
     * @return void 
     */
    public function __construct(
        public string $host
       )
       {}
}

// Load in properties one way
class DBConnectInfoAsArray
{
    /**
     * @param properties-of<DBLoginInfo> $read
     */
    public function __construct(
        public array $read
    )
    {}
}

// Load in properties another way
class DBConnectInfoAsArray2
{
    /** @param properties-of<DBLoginInfo> */
    public array $read;
    public function __construct(array $read)
    {
        $this->read = $read;
    }
}

/**
* Fail: Try to access host from first parent class
* @param properties-of<DBConnectInfoAsArray> $info
* @return void
*/
function blah(array $info)
{
    $read = $info['read'];
    echo $read['host'];
}

/**
* Fail: try to access host from second parent class
* @param properties-of<DBConnectInfoAsArray2> $info
* @return void
*/
function blah2(array $info)
{
    $read = $info['read'];
    // This says it's just a generic array... it doesn't seem to understand the docblock type
    echo $read['host'];
}

/**
* Pass if you explicitly assign @var
* This one works by using @var to tell it what it should be, but it seems
*   like psalm should have been able to tell what it is without using an @var
* @param properties-of<DBConnectInfoAsArray2> $info
* @return void
*/
function blah3(array $info)
{
    /** @var properties-of<DBLoginInfo> */
    $read = $info['read'];
    echo $read['host'];
}

/**
* Pass if you don't use properties-of<DBConnectInfoAsArray>, and load the class itself.
* @return void
*/
function blah4(DBConnectInfoAsArray $info)
{
    $read = $info->read;
    echo $read['host'];
}