michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: 
michael@0: var global = this;
michael@0: 
michael@0: (function() {
michael@0:     function f() {
michael@0:         this.b = function() {};
michael@0:         Object.defineProperty(this, "b", ({
michael@0:             configurable: global.__defineSetter__("", function() {})
michael@0:         }));
michael@0:     }
michael@0:     for (y of [0]) {
michael@0:         _ = new f();
michael@0:     }
michael@0: })();
michael@0: uneval(this);
michael@0: 
michael@0: reportCompare(true, true);