michael@0: var y = 7;
michael@0: 
michael@0: switch (function () { with ({}) return y; }()) {
michael@0: case 7:
michael@0:     let y;
michael@0:     break;
michael@0: default:
michael@0:     throw 'FAIL';
michael@0: }