``` ts declare function use(x: any); function f(x) { switch(x) { case 1: let x = 1; case 2: x = 2; // should be error because of TDZ } } ``` probably lo-pri, should be fixed if / when we add definite assignment check