1 // Any copyright is dedicated to the Public Domain.
2 // http://creativecommons.org/licenses/publicdomain/
3 // Contributors: Gary Kwong <gary@rumblingedge.com>, Brendan Eich <brendan@mozilla.com>
5 var box = evalcx('lazy');
9 ' __proto__ = Proxy.createFunction((function() {}), function() {})\n' +
13 'default xml namespace = x\n' +
14 'for (let b in [0, 0]) <x/>\n' +
19 this.reportCompare(0, 0, "ok");