===description===
intersection method return type resolved
===file===
<?php
/**
 * @template T
 */
interface Container {
    /** @return T */
    public function get(): mixed;
}
interface Taggable {
    public function tag(): string;
}
class Item { public function process(): void {} }
/**
 * @param Container<Item>&Taggable $c
 */
function test(object $c): void {
    /** @var Container<Item>&Taggable $c */
    $c->get()->undefinedMethod();
}
===expect===
UndefinedMethod@18:4: Method Item::undefinedMethod() does not exist
===ignore===
TODO
