False positive for undefined variable

[zerkms]

https://psalm.dev/r/1fcfcf14b9

What's interesting is that it's not reproducible if not inside a class method.

Code explanation: code is heavily stripped, but overall shape is like that. $fp under normal conditions is closed by a third-party library I don'e have control over, hence unset($fp) only in the main try flow.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/1fcfcf14b9

<?php

class C
{
    public function consume(): array
    {
        $retries = 1;

        while (true) {
            try {
                $fp = fopen('/path/to/file', 'rb');

                unset($fp);

                return [];
            } catch (Throwable $e) {
                if ($retries++ >= 10) {
                    throw $e;
                }

                sleep(1);
            } finally {
                if (isset($fp) && is_resource($fp)) {
                    fclose($fp);
                    unset($fp);
                }
            }
        }

        return [];
    }
}

Psalm output (using commit 5759472):

ERROR: UndefinedVariable - 23:27 - Cannot find referenced variable $fp