False positive with intersection array shape type (used to work with Psalm 5.13) about psalm HOT 1 OPEN

<?php

/**
 * @psalm-type HttpOptions = array{
 *   headers?: array<string, string | list<string>>,
 * }
 *
 * @psalm-type SerializedAccount = HttpOptions & array{discoveryUri: string, baseUrl?: ?string}
*/

/**
 * @psalm-param SerializedAccount $props
 */
function constructFromArray(array $props): string
{
    $requiredProps = [ 'discoveryUri' ];
    
    foreach ($requiredProps as $prop) {
        if (!isset($props[$prop])) {
            throw new \Exception("x");
        }
    }

    return $props["discoveryUri"];
}

/**
 * @psalm-param SerializedAccount $props
 */
function constructFromArray2(array $props): string
{
    return $props["discoveryUri"];
}