michael@0: // Binary: cache/js-dbg-64-a9a18824b4c1-linux
michael@0: // Flags: --ion-eager
michael@0: //
michael@0: 
michael@0: try {
michael@0: function f() {
michael@0:     var obj = {
michael@0:         p0:0, p1:1, p2:2, p3:3, p4:4, p5:5, p6:6, p7:7, p8:8, p9:9,
michael@0:         p10:0, p11:1, set:2, p13:3, p14:4, p15:5, p16:6, p17:7, p18:8, p19:9,
michael@0:         with  : function() { return 42; }
michael@0:     };
michael@0: }
michael@0:     actual = f();
michael@0: } catch(exc1) {}