Intersection of sealed array with a templated array triggers unexpected PossiblyUndefinedStringArrayOffset

[u0083682]

Intersection of sealed array with a templated array triggers unexpected PossiblyUndefinedStringArrayOffset

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/78d30dfd19

<?php

/**
 * @template T of string
 *
 * @param array<array-key, T> $selects
 *
 * @return array{
 *     positionSlotCount: int,
 *     placementCount: int,
 * }&array<T, int>
 */
function createStructuredArray(array $selects): array {
    $result = [
        'positionSlotCount' => rand(1, 10),
        'placementCount' => rand(1, 10),
    ];
    foreach ($selects as $select) {
        $result[$select] = rand(0, 100);
    }
    return $result;
}

function takesDataAsParameters(
	int $positionSlotCount,
    int $placementCount,
    int $additionalCount, // Removing the argument will 
): array {
 return [$positionSlotCount,$placementCount,$additionalCount];
}

$arrayData = createStructuredArray(['additionalCount']);

$arrayData['positionSlotCount'];
$arrayData['additionalCount'];
                                         
takesDataAsParameters(...$arrayData);

Psalm output (using commit 16b24bd):

INFO: PossiblyUndefinedStringArrayOffset - 35:1 - Possibly undefined array offset ''additionalCount'' is risky given expected type ''additionalCount'|'placementCount'|'positionSlotCount''. Consider using isset beforehand.

ERROR: TooFewArguments - 37:1 - Too few arguments for takesDataAsParameters - expecting additionalCount to be passed