Account for used idents in function signatures

Previously only idents used in the function body were accounted for, which led to errors if there was a type referenced in the signature but not the body.

Author: randomPoison

c2rust-refactor/src/transform/reorganize_definitions.rs

@@ -245,30 +245,26 @@ impl<'a, 'tcx> Reorganizer<'a, 'tcx> {
         fn keep_items(items: &[P<Item>]) -> HashSet<NodeId> {
             let mut keep_items = HashSet::new();
             let mut used_idents = HashSet::new();
+            let mut collect_used_idents = |item: &Item| {
+                visit_nodes(item, |path: &Path| {
+                    if let [segment] = &path.segments[..] {
+                        used_idents.insert(segment.ident);
+                    }
+                });
+            };
             for item in &items[..] {
                 match &item.kind {
                     ItemKind::Fn(box Fn {
-                        body: Some(ref body),
+                        body: Some(_),
                         ..
                     }) => {
                         keep_items.insert(item.id);
-                        visit_nodes(&**body, |path: &Path| {
-                            if let [segment] = &path.segments[..] {
-                                used_idents.insert(segment.ident);
-                            }
-                        });
+                        collect_used_idents(item);
                     }
 
-                    ItemKind::Static(_, _, init) if !is_exported(item) => {
+                    ItemKind::Static(_, _, _) if !is_exported(item) => {
                         keep_items.insert(item.id);
-
-                        if let Some(init) = init {
-                            visit_nodes(&**init, |path: &Path| {
-                                if let [segment] = &path.segments[..] {
-                                    used_idents.insert(segment.ident);
-                                }
-                            });
-                        }
+                        collect_used_idents(item);
                     }
 
                     _ => {}

c2rust-refactor/tests/snapshots/snapshots__refactor-reorganize_definitions-reorganize_forward_decl_with_local_definition.rs.snap

@@ -0,0 +1,52 @@
+---
+source: c2rust-refactor/tests/snapshots.rs
+assertion_line: 212
+expression: c2rust-refactor reorganize_definitions --rewrite-mode alongside -- tests/snapshots/reorganize_forward_decl_with_local_definition.rs --edition 2021
+---
+#![feature(extern_types)]
+#![feature(register_tool)]
+#![register_tool(c2rust)]
+#![allow(dead_code)]
+#![allow(non_camel_case_types)]
+
+pub mod repository {
+
+    // =============== BEGIN repository_h ================
+    #[derive(Copy, Clone)]
+    #[repr(C)]
+    pub struct git_repository {
+        pub attrcache: *mut crate::attrcache::git_attr_cache,
+    }
+}
+
+pub mod attrcache {
+
+    // =============== BEGIN attrcache_h ================
+    pub const GIT_ATTR_CONFIG: i32 = 0;
+
+    pub mod repository_h {
+        use crate::attrcache::git_attr_cache;
+
+        pub unsafe extern "C" fn git_repository_attr_cache(
+            repo: *mut crate::repository::git_repository,
+        ) -> *mut git_attr_cache {
+            (*repo).attrcache
+        }
+    }
+
+    use crate::repository::git_repository;
+
+    #[derive(Copy, Clone)]
+    #[repr(C)]
+    pub struct git_attr_cache {
+        pub x: i32,
+    }
+
+    unsafe extern "C" fn attrcache_source_function(
+        repo: *mut crate::repository::git_repository,
+    ) -> *mut git_attr_cache {
+        repository_h::git_repository_attr_cache(repo)
+    }
+}
+
+fn main() {}