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:

Commencez par la reproduction fournie dans Playground en utilisant TypeScript 3.7.x-dev.20191221 ou une nightly build actuelle, et comparez les diagnostics pour les instructions if répétées et les branches de la boucle while. Suivez le comportement existant du diagnostic de code inaccessible pour ces exemples et ajoutez une couverture montrant que les instructions marquées sont signalées sans modifier les diagnostics valides du flux de contrôle.