Open
Description
Hi,
Unsure if this is the best place to raise this (i suspect not) but:
$offset = Type\intersection(
Type\int(Foo::class),
Type\instance_of(Bar::class),
)->assert($offset);
will error:
Unable to resolve the template type TRest in call to function Psl\Type\intersection
Same happens for Type\union
Metadata
Metadata
Assignees
Labels
No labels