| Index: src/objects-debug.cc
 | 
| diff --git a/src/objects-debug.cc b/src/objects-debug.cc
 | 
| index b0a3fd62fb3fe530fa670347d5397206dc822efb..f9b20a4b4912270a58bcf0b34ad9a2a0f08f5904 100644
 | 
| --- a/src/objects-debug.cc
 | 
| +++ b/src/objects-debug.cc
 | 
| @@ -806,7 +806,8 @@ void JSGlobalProxy::JSGlobalProxyVerify() {
 | 
|    VerifyObjectField(JSGlobalProxy::kContextOffset);
 | 
|    // Make sure that this object has no properties, elements.
 | 
|    CHECK_EQ(0, properties()->length());
 | 
| -  CHECK_EQ(0, elements()->length());
 | 
| +  CHECK(HasFastElements());
 | 
| +  CHECK_EQ(0, FixedArray::cast(elements())->length());
 | 
|  }
 | 
|  
 | 
|  
 | 
| 
 |