michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: 
michael@0: // Bug 627984 comment 11.
michael@0: var o = ({});
michael@0: o.p = function() {};
michael@0: o.watch('p', function() { });
michael@0: o.q = function() {}
michael@0: delete o.p;
michael@0: o.p = function() {};
michael@0: assertEq(o.p, void 0);
michael@0: 
michael@0: reportCompare(0, 0, 'ok');