False-positive UnusedVariable

[gharlan]

https://psalm.dev/r/d21bfc97cf

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/d21bfc97cf

<?php

function getPath(string $path): string {
    return $path;
}

/** @return resource|null */
function foo() {
    if (is_readable($path = getPath('/path/1')) || is_readable($path = getPath('/path/2'))) {
		return fopen($path, 'r');
    }
    
    return null;
}

Psalm output (using commit 517b203):

INFO: UnusedVariable - 9:64 - $path is never referenced or the value is not used

[muglug]

This also manifests as a false-negative type error: https://psalm.dev/r/332f48c9cc

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/332f48c9cc

<?php

function getPath(): string|object {
    return rand(0, 1) ? "a" : new stdClass();
}

function foo(string $s) : string {
    if (($path = $s) || ($path = getPath())) {
		return $path;
    }
    
    return "b";
}

Psalm output (using commit 517b203):

INFO: UnusedVariable - 8:26 - $path is never referenced or the value is not used