Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-07 14:35:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

refactor(script): apply suggestion

Browse source 
Co-authored-by: Josh Matthews <josh@joshmatthews.net>
This commit is contained in:
yvt 2021-07-25 17:20:09 +09:00 • committed by GitHub
parent d733abfca0
commit df5e2911fd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
components/script/dom/bindings/proxyhandler.rs
View file

@ -297,8 +297,7 @@ pub unsafe fn cross_origin_own_property_keys(
// > 2. For each `e` of `! CrossOriginProperties(O)`, append // > 2. For each `e` of `! CrossOriginProperties(O)`, append
// > `e.[[Property]]` to `keys`. // > `e.[[Property]]` to `keys`.
for key in cross_origin_properties.keys() { for key in cross_origin_properties.keys() {
let jsstring = JS_AtomizeAndPinString(*cx, key); rooted!(in(*cx) let rooted = JS_AtomizeAndPinString(*cx, key));
rooted!(in(*cx) let rooted = jsstring);
rooted!(in(*cx) let mut rooted_jsid: jsid); rooted!(in(*cx) let mut rooted_jsid: jsid);
RUST_INTERNED_STRING_TO_JSID(*cx, rooted.handle().get(), rooted_jsid.handle_mut()); RUST_INTERNED_STRING_TO_JSID(*cx, rooted.handle().get(), rooted_jsid.handle_mut());
AppendToIdVector(props, rooted_jsid.handle()); AppendToIdVector(props, rooted_jsid.handle());