No way to specify that the shape of an array must be exactly the same

[danog]

See https://psalm.dev/r/1ce76391ab
#8395 is related, I thought explicitly specifying that a shape is sealed- would've helped, but it didn't: what even is the point of sealing a shape then?

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/1ce76391ab

<?php

/**
 * @param array{test: int} $i
 */
function test(array $i): int {
    return array_values($i)[0];
}

/**
 * @param array<string, string|int>&array{test: int} $i
 */
function test2(array $i): int {
    return test($i);
}

test(['a' => 'string', 'test' => 123]);

Psalm output (using commit ffc8c80):

No issues!

[AndrolGenhald]

I thought explicitly specifying that a shape is sealed- would've helped, but it didn't: what even is the point of sealing a shape then?

I don't think the type comparison properly checks it, since it's currently not possible to annotate a sealed- type anyway.

Duplicate of #5299.

[danog]

I meant in my PR, which does support annotating sealed shapes