Undetected unreachable code

These are obvious mistakes.

TypeScript Version: 3.7.x-dev.20191221

Search Terms:

Code

declare const a: boolean;
(() => {
    if (a) return;
    if (a) {
        return; // Unreachable
    }
});
while (1) {
    if (a) break;
    if (a) {
        break; // Unreachable
    }
}

Expected behavior:
Detect unreachable code.
Actual behavior:
not detected.
Playground Link: http://www.typescriptlang.org/play/index.html?ts=3.8.0-dev.20191221#code/CYUwxgNghgTiAEYD2A7AzgF3lAXPARkkhCFCgNwCwAUABS0CU8AvAHzwDeN8P8AlgDN4tKEzgYArjArdeg4aM6zevcVIrwA9JvgBVFHChgAFlHwll8AL40rDKtQDuxviWEBGJl2or5IpviGANYOvkL+Sj4qvIGkIVo6+oYmZhZRPDbUVkA

Related Issues:

Beginne mit der bereitgestellten Playground-Reproduktion unter Verwendung von TypeScript 3.7.x-dev.20191221 oder eines aktuellen nightly build und vergleiche die Diagnosen für die wiederholten if-Anweisungen und die Zweige der while-Schleife. Verfolge das bestehende Verhalten der Diagnose für unerreichbaren Code bei diesen Beispielen und füge eine Abdeckung hinzu, die zeigt, dass die markierten Anweisungen gemeldet werden, ohne gültige Diagnosen zum Kontrollfluss zu ändern.