michael@0: // Binary: cache/js-dbg-64-c9212eb6175b-linux
michael@0: // Flags:
michael@0: //
michael@0: function f(a) {
michael@0:    function g() {
michael@0:        yield function () a;
michael@0:    }
michael@0:    return g();
michael@0: }
michael@0: var x;
michael@0: f(7).next()();