Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upImplement delete proxy trap #2213
Closed
Labels
Comments
|
The relevant place to make use of the new trap is in the delete_ field in the ProxyTrap structure that's generated in CodegenRust.py. |
|
Relevant gecko code: http://mxr.mozilla.org/mozilla-central/source/dom/bindings/DOMJSProxyHandler.cpp#217 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It's required, and it doesn't exist. I'm pretty sure this just needs to forward the delete operation to the proxy expando (see DOMProxyHandler::delete_ in gecko). This can just be a simple method in dom/bindings/proxyhandler.rs that's shared by all DOM proxies.