1.17.1 introduced error with possible undefined

[momala454]

Describe the bug
In the following code it says $a is possibly undefined, but I also define it in the catch, so it is always defined. It seems to trigger only if I have "finally"

To Reproduce

$abc = 'abc';
        try {
            json_decode($abc, flags: JSON_THROW_ON_ERROR);
            $a = 1;
        } catch (\Throwable $e) {
            $a = 2;
        } finally {
            echo 'bla';
        }
        echo $a;

Expected behavior
No error

Screenshots

Platform and version
OS and Intelephense version.

[momala454]

Another example

function blah (int|string $x): void {
    if (is_string($x)) {
        $a = 1;
    }
    if (is_int($x)) {
        $a = 2;
    }

    echo $a;
}

[bmewburn]

Thanks. I'll move the second case to a different ticket as I think it will be difficult to solve without affecting performance. I'll also give these a different error code so that they can be switched off if needed.