Incorrect type definition in call chain using question mark

[mj4444ru]

https://psalm.dev/r/25589661a1

The result for $r1, $r2, $r3 should be the same, but it is different.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/25589661a1

<?php

class A
{
    function getB(): B|null
    {
        return isset($GLOBALS['X']) ? new B() : null;
    }
}

class B
{
    function getC(): C
    {
        return new C();
    }
}

class C
{
    function get(): int
    {
        return 0;
    }
}

$a = new A();
$c = $a->getB()?->getC();
$r1 = $c?->get();
$r2 = $a->getB()?->getC()->get();
$r3 = $a->getB()?->getC()?->get();

/** @psalm-trace $c, $r1, $r2, $r3 */

Psalm output (using commit 03ee02c):

INFO: Trace - 33:38 - $c: C|null

INFO: Trace - 33:38 - $r1: int|null

INFO: Trace - 33:38 - $r2: int

INFO: Trace - 33:38 - $r3: int|null

INFO: UnusedVariable - 29:1 - $r1 is never referenced or the value is not used

INFO: UnusedVariable - 30:1 - $r2 is never referenced or the value is not used

INFO: UnusedVariable - 31:1 - $r3 is never referenced or the value is not used