Psalm's inference of array keys as an `int<min, max>` range clashes with invariance of templated collection types about psalm HOT 1 OPEN

<?php

/** @template TKey */
final class Collection
{
    /** @param array<TKey, mixed> $items */
    function __construct(array $items) {}
}

/** @param Collection<int> $c */
function usesIntCollection(Collection $c): void {
    echo var_export($c, true); // irrelevant
}

// ok
$empty = new Collection([]);
/** @psalm-trace $empty */
usesIntCollection($empty);


// ok
$keysInferredAsUnionType = new Collection([1 => 'a', 2 => 'b']);
/** @psalm-trace $keysInferredAsUnionType */
usesIntCollection($keysInferredAsUnionType);


$keysInferredAsRange = new Collection(['a', 'b']);
/** @psalm-trace $keysInferredAsRange */
usesIntCollection($keysInferredAsRange);