Method extract_rust_impl_item

codegraph-kernel/src/rustlang.rs:1029–1065

extractRustImplItem — `impl Trait for Type` back-reference: positional type-node filter (NEVER the grammar's trait:/type: fields), ≥2 needed, target found by FIRST earlier node of kind struct/enum/class (never trait); ref FROM the type's node, named by the trait's full text.

(&mut self, node: Node<'t>)

    /// target found by FIRST earlier node of kind struct/enum/class (never
    /// trait); ref FROM the type's node, named by the trait's full text.
    fn extract_rust_impl_item(&mut self, node: Node<'t>) {
        let has_for = (0..node.child_count())
            .filter_map(|i| node.child(i))
            .any(|c| c.kind() == "for" && !c.is_named());
        if !has_for {
            return;
        }
        let type_idents: Vec<Node> = (0..node.named_child_count())
            .filter_map(|i| node.named_child(i))
            .filter(|c| matches!(c.kind(), "type_identifier" | "generic_type" | "scoped_type_identifier"))
            .collect();
        if type_idents.len() < 2 {
            return;
        }
        let trait_node = type_idents[0];
        let type_node = type_idents[type_idents.len() - 1];

        let trait_name = self.text(trait_node).to_string();
        let type_name = if type_node.kind() == "generic_type" {
            (0..type_node.named_child_count())
                .filter_map(|i| type_node.named_child(i))
                .find(|c| c.kind() == "type_identifier")
                .map(|c| self.text(c).to_string())
                .unwrap_or_else(|| self.text(type_node).to_string())
        } else {
            self.text(type_node).to_string()
        };

        let target_row = self
            .nodes_meta
            .iter()
            .position(|m| m.name == type_name && matches!(m.kind, "struct" | "enum" | "class"))
            .map(|i| i as u32);
        if let Some(target_row) = target_row {
            self.push_ref_at(target_row, &trait_name, edge_kind_index("implements").unwrap(), trait_node);
        }
    }

    /// extractTypeAnnotations — parameters + return_type subtrees, one
    /// `references` ref per type_identifier leaf not in BUILTIN_TYPES. The