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.

Inizia con il Playground Link fornito e confronta il modo in cui il codice irraggiungibile viene riconosciuto all'interno di doSomething dopo this.throwError() con il comportamento dopo example.throwError() nella funzione esterna. Traccia il punto di ingresso dell'analisi del flusso di controllo di TypeScript responsabile delle chiamate ai metodi che restituiscono never; il lavoro è completato quando console.log('foobar') viene contrassegnato come irraggiungibile nel secondo caso senza regredire nel comportamento esistente dei metodi.