False positive ArgumentTypeCoercion with intersection types of closure arguments

[blackwolf12333]

I expected the below to typecheck but it errors

https://psalm.dev/r/5428c288c8

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/5428c288c8

<?php

class Item {}

interface HasAncestor {}

class TestItem1 extends Item implements HasAncestor {}

/**
* @param pure-Closure(HasAncestor&Item): true $fn
*/
function takesClosure(Closure $fn) : void {
    $item = new TestItem1();
    $fn($item);
}

takesClosure(fn(TestItem1 $item) => !!$item);

Psalm output (using commit 16b24bd):

ERROR: ArgumentTypeCoercion - 17:14 - Argument 1 of takesClosure expects pure-Closure(HasAncestor&Item):true, but parent type pure-Closure(TestItem1):true provided