1 files changed, 46 insertions, 0 deletions
diff --git a/js/src/tests/test262/built-ins/Proxy/has/return-false-target-not-extensible-using-with.js b/js/src/tests/test262/built-ins/Proxy/has/return-false-target-not-extensible-using-with.js
new file mode 100644
index 0000000000..d3749a6774
--- /dev/null
+++ b/js/src/tests/test262/built-ins/Proxy/has/return-false-target-not-extensible-using-with.js
@@ -0,0 +1,46 @@
+// Copyright (C) 2015 the V8 project authors. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+/*---
+es6id: 9.5.7
+description: >
+    A property cannot be reported as non-existent, if it exists as an own
+    property of the target object and the target object is not extensible.
+info: |
+    [[HasProperty]] (P)
+
+    ...
+    11. If booleanTrapResult is false, then
+        a. Let targetDesc be target.[[GetOwnProperty]](P).
+        b. ReturnIfAbrupt(targetDesc).
+        c. If targetDesc is not undefined, then
+            ...
+            ii. Let extensibleTarget be IsExtensible(target).
+            ...
+            iv. If extensibleTarget is false, throw a TypeError exception.
+    ...
+flags: [noStrict]
+features: [Proxy]
+---*/
+
+var target = {};
+var handler = {
+  has: function(t, prop) {
+    return 0;
+  }
+};
+var p = new Proxy(target, handler);
+
+Object.defineProperty(target, 'attr', {
+  configurable: true,
+  value: 1
+});
+
+Object.preventExtensions(target);
+
+assert.throws(TypeError, function() {
+  with(p) {
+    (attr);
+  }
+});
+
+reportCompare(0, 0);