michael@0: // |jit-test| error:TypeError
michael@0: 
michael@0: // Binary: cache/js-dbg-64-9d6f5ab54933-linux
michael@0: // Flags:
michael@0: //
michael@0: (function(a){ 1(function(){delete a;}); })();