michael@0: // Binary: cache/js-dbg-64-c811be25eaad-linux
michael@0: // Flags:
michael@0: //
michael@0: function f(o) {
michael@0:   o.constructor = function() {};
michael@0: }
michael@0: __proto__.__defineSetter__('constructor',
michael@0: function(v) {});
michael@0: f({});
michael@0: Object.defineProperty(__proto__, 'constructor', {
michael@0:   writable: true,
michael@0: });
michael@0: f({});