1 files changed, 56 insertions, 0 deletions
diff --git a/js/src/tests/test262/built-ins/Object/keys/proxy-non-enumerable-prop-invariant-1.js b/js/src/tests/test262/built-ins/Object/keys/proxy-non-enumerable-prop-invariant-1.js
new file mode 100644
index 0000000000..39c2e4294f
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Object/keys/proxy-non-enumerable-prop-invariant-1.js
@@ -0,0 +1,56 @@
+// Copyright (C) 2019 Alexey Shvayka. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-object.keys
+description: >
+  Proxy [[OwnPropertyKeys]] trap does not skip non-enumerable keys when validating invariant:
+  * The result List must contain the keys of all non-configurable own properties of
+    the target object.
+info: |
+  Object.keys ( O )
+
+  ...
+  2. Let nameList be ? EnumerableOwnPropertyNames(obj, "key").
+
+  EnumerableOwnPropertyNames ( O, kind )
+
+  ...
+  2. Let ownKeys be ? O.[[OwnPropertyKeys]]().
+
+  [[OwnPropertyKeys]] ( )
+
+  ...
+  11. Let targetKeys be ? target.[[OwnPropertyKeys]]().
+  ...
+  15. Let targetNonconfigurableKeys be a new empty List.
+  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
+      i. Append key as an element of targetNonconfigurableKeys.
+  ...
+  18. Let uncheckedResultKeys be a new List which is a copy of trapResult.
+  19. For each key that is an element of targetNonconfigurableKeys, do
+    a. If key is not an element of uncheckedResultKeys, throw a TypeError exception.
+features: [Proxy]
+---*/
+
+var target = {};
+Object.defineProperty(target, 'prop', {
+  value: 1,
+  writable: true,
+  enumerable: false,
+  configurable: false,
+});
+
+var proxy = new Proxy(target, {
+  ownKeys: function() {
+    return [];
+  },
+});
+
+assert.throws(TypeError, function() {
+  Object.keys(proxy);
+});
+
+reportCompare(0, 0);