Could not intersect two array shapes

[klimick]

https://psalm.dev/r/c2e2af5818

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/c2e2af5818

<?php

/**
 * @psalm-type GenericUserWhere = array{
 *     id: list<string>,
 * }
 */
final class GenericUserCriteria
{
}

/**
 * @psalm-import-type GenericUserWhere from GenericUserCriteria
 *
 * @psalm-type NonGenericUserWhere = GenericUserWhere & array{
 *     otherId: list<string>,
 * }
 */
final class NonGenericUserCriteria
{
}

Psalm output (using commit f960d71):

ERROR: InvalidDocblock - 19:1 - Intersection types must be all objects, Psalm\Type\Atomic\TKeyedArray provided

[klimick]

May be intersection doesn't work only with psalm-alias.
https://psalm.dev/r/3af7cbf3d7

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/3af7cbf3d7

<?php

/**
 * @param array{id: list<string>} & array{otherId: list<string>} $_
 */
function test(array $_): void {}

test([]);

Psalm output (using commit f960d71):

ERROR: InvalidArgument - 8:6 - Argument 1 of test expects array{id: list<string>, otherId: list<string>}, array<never, never> provided

[orklah]

Yeah, we're missing something to support that. I believe we already have an issue for this

[AndrolGenhald]

Duplicate of #5148.