Merge commit 'f53dc205fc8ac4f3e92cb554eb15ef0588667a4b' into HEAD
diff --git a/src/objects.cc b/src/objects.cc
index 904cf52..a30641b 100644
--- a/src/objects.cc
+++ b/src/objects.cc
@@ -10102,6 +10102,13 @@
     }
   }
 
+  if (IsJSGlobalProxy()) {
+    Object* proto = GetPrototype();
+    if (proto->IsNull()) return false;
+    ASSERT(proto->IsJSGlobalObject());
+    return JSObject::cast(proto)->HasRealElementProperty(index);
+  }
+
   // Handle [] on String objects.
   if (this->IsStringObjectWithCharacterAt(index)) return true;