michael@0: // Binary: cache/js-dbg-32-a9887b731f29-linux
michael@0: // Flags: -j
michael@0: //
michael@0: (function () {
michael@0:     const c = 0;
michael@0:     with ({}) {
michael@0:         for each (c in [{}, {}]) {
michael@0:             "" + c;
michael@0:         }
michael@0:     }
michael@0: })();