michael@0: // |jit-test| error:InternalError
michael@0: 
michael@0: var x = [];
michael@0: x.push(x, x); // more than one so the sort can't be optimized away
michael@0: x.toString = x.sort;
michael@0: x.toString();