fn can_use_module_name( idx: &ModuleIdx<'_>, current_module: &[String], name: &str, target_module: &[String], ) -> bool