Callable infer and return type broken in master

[thomasvargiu]

Commit 3dd185e broke this:

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

[psalm-github-bot]

I found these snippets:

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

<?php
/**
 * @template T
 */
interface Functor
{
    /**
     * @template F
     * @param callable(T): F $function
     * @return Functor<F>
     */
    public function map(callable $function): Functor;
}

/**
 * @template T
 * @template-implements Functor<T>
 */
class FakeFunctor implements Functor
{
    /**
     * @var T
     */
    private $value;
    /**
     * @psalm-param T $value
     */
    public function __construct($value)
    {
        $this->value = $value;
    }

    public function map(callable $function): Functor
    {
        return new FakeFunctor($function($this->value));
    }
}

$foo = new FakeFunctor('foo');
$function = function (string $a): int {
    return strlen($a);
};
/** @psalm-trace $value */
$value = $foo->map($function); // this should be Functor<int>

Psalm output (using commit 5a62dc5):

INFO: Trace - 44:1 - $value: Functor

INFO: UnusedVariable - 44:1 - Variable $value is never referenced