michael@0: // Any copyright is dedicated to the Public Domain.
michael@0: // http://creativecommons.org/licenses/publicdomain/
michael@0: 
michael@0: var obj = {set x(v) {}};
michael@0: obj.watch("x", function() { delete obj.x; });
michael@0: obj.x = "hi";  // don't assert
michael@0: 
michael@0: reportCompare(0, 0, 'ok');