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:

Comienza con la reproducción proporcionada en Playground usando TypeScript 3.7.x-dev.20191221 o una nightly build actual, y compara los diagnósticos de las sentencias if repetidas y las ramas del bucle while. Rastrea el comportamiento existente del diagnóstico de código inalcanzable para estos ejemplos y añade cobertura que muestre que las sentencias marcadas se notifican sin cambiar los diagnósticos válidos del flujo de control.