michael@0: function f(y) {
michael@0:     if (y)
michael@0:         return;
michael@0:     let(x) {
michael@0:         for (;;) {}
michael@0:     }
michael@0: }
michael@0: 
michael@0: 
michael@0: /* Don't assert. */
michael@0: f(1);
michael@0: