property assignment bug with union and int ranges about psalm HOT 3 OPEN

<?php

/**
 * @return -1|positive-int
 */
function getInt():int {
    if (rand(0,1)) {
        return 234;
    }
    return -1;
}

class C {
    /** @var positive-int|null */
    private $p;
    
    function doFoo():void {
        $i = getInt();
        if ($i === -1) {
            $i = null;
        }
        $this->p = $i;
    }
}

<?php

/**
 * @return -1|positive-int
 */
function foo(): int { return random_int(0, 1) ? -1 : 1; }

$a = foo();

/** @psalm-trace $a */