michael@0: // |reftest| skip
michael@0: /*
michael@0:  * Any copyright is dedicated to the Public Domain.
michael@0:  * http://creativecommons.org/licenses/publicdomain/
michael@0:  * Contributors: Jan de Mooij
michael@0:  */
michael@0: 
michael@0: Object.preventExtensions(this);
michael@0: delete Function;
michael@0: 
michael@0: try {
michael@0:     /* Don't assert. */
michael@0:     Object.getOwnPropertyNames(this);
michael@0: } catch(e) {
michael@0:     reportCompare(true, false, "this shouldn't have thrown");
michael@0: }
michael@0: reportCompare(0, 0, "ok");
michael@0: