TypeScript does not recognize unreachable code after a method returning never is called outside of its defining scope

Does this issue occur when all extensions are disabled?: Yes

• VS Code Version: 1.89.1
• OS Version: All

To Reproduce:

class SimpleThrower {
    public throwError(): never {
        throw new Error('');
    }

    public doSomething(): string {
        this.throwError(); // Directly call the never-returning function
        
        return 'Success'; // TypeScript recognizes that this line is unreachable
    }
}

() => {
    const example = new SimpleThrower();
    console.log(example.doSomething()); // This will throw an error
    example.throwError(); // Throws an error and stops execution
    console.log('foobar'); // TypeScript does not recognize that this line is unreachable
}

Playground Link

Expected behavior:

TypeScript should recognize that the line console.log('foobar'); is unreachable after example.throwError(); is called, similar to how it recognizes the unreachable code within the doSomething method.

Actual behavior:

TypeScript does not mark the line console.log('foobar'); as unreachable after the example.throwError(); call in the global scope or within a different function scope.

Beginne mit dem bereitgestellten Playground Link und vergleiche, wie nicht erreichbarer Code innerhalb von doSomething nach this.throwError() erkannt wird, mit dem Verhalten nach example.throwError() in der äußeren Funktion. Verfolge den Einstiegspunkt der TypeScript-Kontrollflussanalyse, der für Aufrufe von Methoden zuständig ist, die never zurückgeben; fertig ist die Aufgabe, wenn console.log('foobar') im letzteren Fall als nicht erreichbar markiert wird, ohne das bestehende Methodenverhalten zu beeinträchtigen.