HasElementWithReceiver 4949 src/objects-inl.h   return JSObject::cast(this)->HasElementWithReceiver(this, index);
HasElementWithReceiver 3006 src/objects.cc     return JSObject::cast(this)->HasElementWithReceiver(receiver, index)
HasElementWithReceiver 8843 src/objects.cc   return JSObject::cast(pt)->HasElementWithReceiver(*receiver_handle, index);
HasElementWithReceiver 8986 src/objects.cc   return JSObject::cast(pt)->HasElementWithReceiver(receiver, index);
HasElementWithReceiver 1766 src/objects.h    bool HasElementWithReceiver(JSReceiver* receiver, uint32_t index);