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

Convince borrowck that Document::createNodeList is sound.

Browse source
This commit is contained in:
Ms2ger 2015-01-01 17:49:28 +01:00
parent e5ae267e80
commit eb715a7bf8
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
components/script/dom/document.rs
View file

@ -480,10 +480,11 @@ trait PrivateDocumentHelpers {
impl<'a> PrivateDocumentHelpers for JSRef<'a, Document> {
fn createNodeList(self, callback: |node: JSRef<Node>| -> bool) -> Temporary<NodeList> {
let window = self.window.root();
let nodes = match self.GetDocumentElement().root() {
let document_element = self.GetDocumentElement().root();
let nodes = match document_element {
None => vec!(),
Some(root) => {
let root: JSRef<Node> = NodeCast::from_ref(*root);
Some(ref root) => {
let root: JSRef<Node> = NodeCast::from_ref(root.r());
root.traverse_preorder().filter(|&node| callback(node)).collect()
}
};