@psalm-type loses return type when declaring callable

[ptomulik]

https://psalm.dev/r/4a64c9c24d

This changed somewhere between 5.7.7 and 5.8.0. For 5.7.7, both, $callback1 and $callback2 are of type callable():int.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/4a64c9c24d

<?php

/**
 * @psalm-suppress UnusedClass
 * @psalm-type TCallback1 callable():int
 * @psalm-type TCallback2 (callable():int)
 */
final class Test {
    /** @psalm-var TCallback1 */
    private callable $callback1;
    /** @psalm-var TCallback2 */
    private callable $callback2;
    
    /**
     * @psalm-param TCallback1 $callback1
     * @psalm-param TCallback2 $callback2
     */
    public function __construct(callable $callback1, callable $callback2) {
        /** @psalm-trace $callback1 */;
        /** @psalm-trace $callback2 */;
        $this->callback1 = $callback1;
        $this->callback2 = $callback2;
    }
}

Psalm output (using commit 44ffd5f):

INFO: Trace - 19:39 - $callback1: callable()

INFO: Trace - 20:39 - $callback2: callable():int

[ptomulik]

Traced down to c72edef.