<?php

​

interface I

{

    /**

     * @return (func_num_args() is 2 ? int : string)

     */

    public function f(mixed ...$args);

}

​

function (I $i): void {

    /** @psalm-trace $_one */

    $_one = $i->f(1);

​

    /** @psalm-trace $_two */

    $_two = $i->f(1, 2);

};