| Index: src/property.h
|
| diff --git a/src/property.h b/src/property.h
|
| index add9e4d11bfca0ef25f3606b6e343d11e8ba05a6..ebe7d3b6732a4b4e147cf88bc43cf4d494e68a22 100644
|
| --- a/src/property.h
|
| +++ b/src/property.h
|
| @@ -36,6 +36,7 @@ class Descriptor BASE_EMBEDDED {
|
|
|
| void Init(Handle<Name> key, Handle<Object> value, PropertyDetails details) {
|
| DCHECK(key->IsUniqueName());
|
| + DCHECK_IMPLIES(key->IsPrivate(), !details.IsEnumerable());
|
| key_ = key;
|
| value_ = value;
|
| details_ = details;
|
| @@ -44,6 +45,7 @@ class Descriptor BASE_EMBEDDED {
|
| Descriptor(Handle<Name> key, Handle<Object> value, PropertyDetails details)
|
| : key_(key), value_(value), details_(details) {
|
| DCHECK(key->IsUniqueName());
|
| + DCHECK_IMPLIES(key->IsPrivate(), !details_.IsEnumerable());
|
| }
|
|
|
| Descriptor(Handle<Name> key, Handle<Object> value,
|
| @@ -53,6 +55,7 @@ class Descriptor BASE_EMBEDDED {
|
| value_(value),
|
| details_(attributes, type, representation, field_index) {
|
| DCHECK(key->IsUniqueName());
|
| + DCHECK_IMPLIES(key->IsPrivate(), !details_.IsEnumerable());
|
| }
|
|
|
| friend class DescriptorArray;
|
|
|