Inferring the type of intersection

[darkdarin]

I'm writing classes to represent various types in PHP.
Example: https://psalm.dev/r/7c9c4882a9

I get the inferred type:
INFO: [Trace](https://psalm.dev/224) - 34:1 - $types: IntersectType<Countable|Traversable>

Its correct for Union Type represent, but I want to represent Intersect type and to get inferred type IntersectType<Countable&Traversable>.
What should I do for this?

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/7c9c4882a9

<?php

/**
 * @template-covariant TType
 * @psalm-immutable
 */
interface TypeInterface {}

/**
 * @template TClass
 * @implements TypeInterface<TClass>
 * @psalm-immutable
 */
class ClassType implements TypeInterface 
{
    /** @param class-string<TClass> $className */
	public function __construct(public string $className){}
}

/**
 * @template-covariant TIntersectType
 * @implements TypeInterface<TIntersectType>
 * @psalm-immutable
 */
class IntersectType implements TypeInterface 
{
    /**
     * @param TypeInterface<TIntersectType> ...$types
     */
	public function __construct(public TypeInterface ...$types) {}
}

/** @psalm-trace $types */
$types = new IntersectType(
    new ClassType(\Traversable::class), 
    new ClassType(\Countable::class),
);

return $types;

Psalm output (using commit 08afc45):

INFO: Trace - 34:1 - $types: IntersectType<Countable|Traversable>

[danog]

This is actually correct, as fetching $type->types[$idx] will return either Countable OR a Traversable, depending on the index.