rustdoc: rebase after changes to bindings

rust-lang · Oct 4, 2023 · ae21fa7 · ae21fa7
1 parent 1232d99
commit ae21fa7
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 20 deletions.
diff --git a/src/librustdoc/clean/types.rs b/src/librustdoc/clean/types.rs
@@ -1625,16 +1625,16 @@ impl Type {
         }
     }
 
-    pub(crate) fn generics(&self) -> Option<Vec<&Type>> {
+    pub(crate) fn generic_args(&self) -> Option<&GenericArgs> {
         match self {
-            Type::Path { path, .. } => path.generics(),
+            Type::Path { path, .. } => path.generic_args(),
             _ => None,
         }
     }
 
-    pub(crate) fn bindings(&self) -> Option<&[TypeBinding]> {
+    pub(crate) fn generics(&self) -> Option<Vec<&Type>> {
         match self {
-            Type::Path { path, .. } => path.bindings(),
+            Type::Path { path, .. } => path.generics(),
             _ => None,
         }
     }
@@ -2173,6 +2173,10 @@ impl Path {
         }
     }
 
+    pub(crate) fn generic_args(&self) -> Option<&GenericArgs> {
+        self.segments.last().map(|seg| &seg.args)
+    }
+
     pub(crate) fn generics(&self) -> Option<Vec<&Type>> {
         self.segments.last().and_then(|seg| {
             if let GenericArgs::AngleBracketed { ref args, .. } = seg.args {

diff --git a/src/librustdoc/html/render/search_index.rs b/src/librustdoc/html/render/search_index.rs
@@ -776,25 +776,15 @@ fn simplify_fn_type<'tcx, 'a>(
         // we will look for them but not for `T`).
         let mut ty_generics = Vec::new();
         let mut ty_bindings = Vec::new();
-        for binding in arg.bindings().unwrap_or_default() {
-            simplify_fn_binding(
-                self_,
-                generics,
-                binding,
-                tcx,
-                recurse + 1,
-                &mut ty_bindings,
-                rgen,
-                is_return,
-                cache,
-            );
-        }
-        if let Some(arg_generics) = arg.generics() {
-            for gen in arg_generics.iter() {
+        if let Some(arg_generics) = arg.generic_args() {
+            for ty in arg_generics.into_iter().filter_map(|gen| match gen {
+                clean::GenericArg::Type(ty) => Some(ty),
+                _ => None,
+            }) {
                 simplify_fn_type(
                     self_,
                     generics,
-                    gen,
+                    &ty,
                     tcx,
                     recurse + 1,
                     &mut ty_generics,
@@ -803,6 +793,19 @@ fn simplify_fn_type<'tcx, 'a>(
                     cache,
                 );
             }
+            for binding in arg_generics.bindings() {
+                simplify_fn_binding(
+                    self_,
+                    generics,
+                    &binding,
+                    tcx,
+                    recurse + 1,
+                    &mut ty_bindings,
+                    rgen,
+                    is_return,
+                    cache,
+                );
+            }
         }
         // Every trait associated type on self gets assigned to a type parameter index
         // this same one is used later for any appearances of these types