michael@0: // Binary: cache/js-dbg-64-2d95fc517e57-linux
michael@0: // Flags: -m -n -a
michael@0: //
michael@0: 
michael@0: function test()
michael@0: {
michael@0:   var x = { "0": 3, "-0": 7 };
michael@0:   try {
michael@0:     delete x["-0"];
michael@0:     if ("-0" in x)
michael@0:       throw "0 not in x after insertion of 0 property";
michael@0:     this ["-0"] = 7;
michael@0:   } catch(ex) {}
michael@0: }
michael@0: test();
michael@0: test();