michael@0: // Binary: cache/js-dbg-64-7e28cce342a6-linux
michael@0: // Flags:
michael@0: //
michael@0: function f() {
michael@0:     constructor = {}
michael@0: }
michael@0: Object.defineProperty(function() {
michael@0:     return {}.__proto__
michael@0: }(), "constructor", {
michael@0:     set: function() {}
michael@0: })
michael@0: f()
michael@0: Object.defineProperty({}.__proto__, "constructor", {
michael@0:     value: 3
michael@0: })
michael@0: f()