Variable type incorrectly resolves to never after some loops

[lkrms]

Describe the bug

In while loops that combine a test for an object's truthiness with another condition, Intelephense incorrectly determines that the variable's type is subsequently never, even though the second part of the expression may have been the one that failed.

To Reproduce

Here's a minimal example. After the loop, Intelephense treats $foo as never.

<?php

class Foo
{
    public int $Id;
    public ?Foo $Next;
}

function bar(Foo $foo)
{
    while ($foo && $foo->Id === -1) {
        $foo = $foo->Next;
    }
    // $foo is `never` but should be `Foo|null`, and Intellisense doesn't work
    if ($foo) {
        echo $foo->Id;
    }
}

Platform and version

v1.12.6 on macOS and Linux