First type in an intersection type, used as a type parameter for a class-string, in a union of class-strings, gets dropped from the union.

[rzvc]

Sorry for the title. It's slightly incorrect, but didn't want to make it longer. The code below exemplifies the issue quite well:
https://psalm.dev/r/69a0df463f

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/69a0df463f

<?php

interface IFoo
{
}

interface IBar
{
}

class Foo implements IFoo
{
}

class Bar implements IBar
{
}

class FooBar implements IFoo, IBar
{
}

/**
* @param class-string<IFoo>|class-string<IBar>|class-string<IFoo & IBar> $class
*/
function test1($class) : void
{
    echo $class;
}

test1(Foo::class);
test1(Bar::class);
test1(FooBar::class);


/**
* @param class-string<IFoo>|class-string<IBar>|class-string<IBar & IFoo> $class
*/
function test2($class) : void
{
    echo $class;
}

test2(Foo::class);
test2(Bar::class);
test2(FooBar::class);

Psalm output (using commit 3600d51):

ERROR: InvalidArgument - 31:7 - Argument 1 of test1 expects class-string<IBar>|class-string<IFoo&IBar>, but Foo::class provided

ERROR: InvalidArgument - 45:7 - Argument 1 of test2 expects class-string<IBar&IFoo>|class-string<IFoo>, but Bar::class provided

[weirdan]

The linked PR changes the interpretation of class-string<IBar>|class-string<IFoo>|class-string<IBar & IFoo> to class-string<IBar>|class-string<IFoo> (regardless of the order of the intersection).