1 files changed, 51 insertions, 0 deletions
diff --git a/js/src/tests/test262/built-ins/Object/getOwnPropertyNames/proxy-invariant-not-extensible-extra-symbol-key.js b/js/src/tests/test262/built-ins/Object/getOwnPropertyNames/proxy-invariant-not-extensible-extra-symbol-key.js
new file mode 100644
index 0000000000..e03c0d9fb5
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Object/getOwnPropertyNames/proxy-invariant-not-extensible-extra-symbol-key.js
@@ -0,0 +1,51 @@
+// Copyright (C) 2019 Alexey Shvayka. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.getownpropertynames
+description: >
+  Proxy [[OwnPropertyKeys]] trap does not skip symbol keys when validating invariant:
+  * If the target object is not extensible, then the result List must contain all the keys of
+    the own properties of the target object and no other values.
+info: |
+  Object.getOwnPropertyNames ( O )
+
+  1. Return ? GetOwnPropertyKeys(O, String).
+
+  GetOwnPropertyKeys ( O, type )
+
+  ...
+  2. Let keys be ? obj.[[OwnPropertyKeys]]().
+
+  [[OwnPropertyKeys]] ( )
+
+  ...
+  11. Let targetKeys be ? target.[[OwnPropertyKeys]]().
+  16. For each element key of targetKeys, do
+    a. Let desc be ? target.[[GetOwnProperty]](key).
+    b. If desc is not undefined and desc.[[Configurable]] is false, then
+      ...
+    c. Else,
+      i. Append key as an element of targetConfigurableKeys.
+  ...
+  18. Let uncheckedResultKeys be a new List which is a copy of trapResult.
+  ...
+  22. If uncheckedResultKeys is not empty, throw a TypeError exception.
+features: [Proxy, Symbol]
+---*/
+
+var target = {};
+var symbol = Symbol();
+var proxy = new Proxy(target, {
+  ownKeys: function() {
+    return [symbol];
+  },
+});
+
+Object.preventExtensions(target);
+
+assert.throws(TypeError, function() {
+  Object.getOwnPropertyNames(proxy);
+});
+
+reportCompare(0, 0);