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