Unexpected type narrowing in finally block with return in both try and catch block

[s2terminal]

TypeScript Version: 3.7.2

Search Terms: try catch finally return

Code

const main = () => {
    let hoge: string | undefined = undefined;
    try {
        hoge = 'hoge!';
        return; // Bug disappears after removing this return.
    } catch {
        return; // Bug disappears after removing this return.
    } finally {
        if (hoge) {
            hoge.length;
        }
        return;
    }
}

main();

Expected behavior:
In finally block, hoge's type is string | undefined

Actual behavior:
In finally block, hoge's type is only undefined, and Property 'length' does not exist on type 'never'. error occured.

Playgroung Link

Related Issues:

• In finally block, local variable is incorrectly typed as never with return in try block. #28153
• Erroneous type narrowing in finally #18478