| Index: src/objects.h
|
| diff --git a/src/objects.h b/src/objects.h
|
| index c198a8b52cf4434835628e137361edd3a85bcc80..d64856b2f2a9c6a1d7f94f4259335d0347304bda 100644
|
| --- a/src/objects.h
|
| +++ b/src/objects.h
|
| @@ -9520,6 +9520,11 @@ class JSProxy: public JSReceiver {
|
| Handle<Object> key, PropertyDescriptor* desc,
|
| ShouldThrow should_throw);
|
|
|
| + // ES6 9.5.7
|
| + MUST_USE_RESULT static Maybe<bool> HasProperty(Isolate* isolate,
|
| + Handle<JSProxy> proxy,
|
| + Handle<Name> name);
|
| +
|
| // ES6 9.5.10 (when passed SLOPPY)
|
| MUST_USE_RESULT static Maybe<bool> DeletePropertyOrElement(
|
| Handle<JSProxy> proxy, Handle<Name> name, LanguageMode language_mode);
|
| @@ -9586,9 +9591,6 @@ class JSProxy: public JSReceiver {
|
| Handle<JSProxy> proxy, const char* name, Handle<Object> derived_trap,
|
| int argc, Handle<Object> args[]);
|
|
|
| - MUST_USE_RESULT static Maybe<bool> HasPropertyWithHandler(
|
| - Handle<JSProxy> proxy, Handle<Name> name);
|
| -
|
| DISALLOW_IMPLICIT_CONSTRUCTORS(JSProxy);
|
| };
|
|
|
|
|