Use before declaration errors when using let statements within a switch case

TypeScript Version: 2.5.3

Code

function test(value) {
    switch (value) {
        case 1:
            let foo = 10;
            break;
        case 2:
            foo = 20; // Runtime ReferenceError: foo is not defined
            break;
        default:
    }
}

test(2);

tsc --target es2015 (or higher)

Expected behavior:
This should probably produce a compile time error: Block-scoped variable 'pen' used before its declaration. on reference to foo in case 2.

Actual behavior:

The code type-checks and compiles fine, however, when running the es2015 transpiled output, you will receive a ReferenceError error at runtime. Ideally this type of error could be caught at compile time.

Beginnen Sie mit dem bereitgestellten switch-case-Beispiel unter Verwendung von TypeScript 2.5.3 und kompilieren Sie es mit --target es2015 oder höher. Verfolgen Sie den Typprüfpfad für blockbezogene let-Deklarationen und Referenzen über case-Klauseln hinweg. Als abgeschlossen gilt die Aufgabe, wenn die Referenz auf foo in case 2 eine Diagnose über eine blockbezogene Variable vor ihrer Deklaration zur Compilezeit erzeugt, statt in einen Laufzeit-ReferenceError kompiliert zu werden.