Index: src/property.h |
diff --git a/src/property.h b/src/property.h |
index da015794df01f916101cc0f3be590b32cac3d947..233233c5d4f95cf6146d1976e9a4726775ed1852 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; |