Trouble with switch case in try catch block

[bless-rng]

As you can see switch block has all cases. Try block also has all cases for correct resolve result. If switch case replace with if else block this case also is correct.
Variable $x is not possible to be undefined.

https://psalm.dev/r/14034f3334

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/14034f3334

<?php

function getX(string $s): int {
	try {
        switch ($s) {
            case 'S':
                $x = 1;
                break;
            case 'F':
                $x = 2;
                break;
            default: 
                $x = 3;
                break;
        }
    } catch (Throwable $e) {
        $x = 0;
    }
    return $x;
}

Psalm output (using commit 16b24bd):

INFO: PossiblyUndefinedVariable - 19:12 - Possibly undefined variable $x defined in try block