rust-lang · ehuss · Sep 30, 2025 · Sep 30, 2025 · Sep 30, 2025 · Oct 7, 2025
diff --git a/book.toml b/book.toml
@@ -50,6 +50,9 @@ use-boolean-and = true
 "/expressions/operator-expr.html#the-question-mark-operator" = "operator-expr.html#the-try-propagation-expression"
 "/glossary.html#object-safe-traits" = "glossary.html#dyn-compatible-traits"
 "/items/extern-crates.html#extern-prelude" = "../names/preludes.html#extern-prelude"
+"/items/generics.html" = "../types/generics/index.html"
+"/items/generics.html#generic-lifetimes" = "../types/generics/lifetimes.html"
+"/items/generics.html#where-clauses" = "../trait-bounds.html#where-clauses"
 "/items/modules.html#prelude-items" = "../names/preludes.html"
 "/items/traits.html#object-safety" = "traits.html#dyn-compatibility"
 "/lifetime-elision.html#static-lifetime-elision" = "lifetime-elision.html#const-and-static-elision"

diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -35,7 +35,6 @@
     - [Traits](items/traits.md)
     - [Implementations](items/implementations.md)
     - [External blocks](items/external-blocks.md)
-    - [Generic parameters](items/generics.md)
     - [Associated items](items/associated-items.md)
 
 - [Attributes](attributes.md)
@@ -93,6 +92,10 @@
         - [Impl trait type](types/impl-trait.md)
         - [Type parameters](types/parameters.md)
         - [Inferred type](types/inferred.md)
+    - [Generics](types/generics/index.md)
+        - [Generic lifetimes](types/generics/lifetimes.md)
+        - [Generic types](types/generics/types.md)
+        - [Generic constants](types/generics/constants.md)
     - [Dynamically sized types](dynamically-sized-types.md)
     - [Type layout](type-layout.md)
     - [Interior mutability](interior-mutability.md)

diff --git a/src/attributes.md b/src/attributes.md
@@ -351,7 +351,6 @@ The following is an index of all built-in attributes.
 [expression statement]: statements.md#expression-statements
 [external blocks]: items/external-blocks.md
 [functions]: items/functions.md
-[generics]: items/generics.md
 [implementations]: items/implementations.md
 [item declarations]: items.md
 [match expressions]: expressions/match-expr.md

diff --git a/src/const_eval.md b/src/const_eval.md
@@ -303,11 +303,11 @@ The types of a const function's parameters and return type are restricted to tho
 [comparison]:           expressions/operator-expr.md#comparison-operators
 [const block]:          expressions/block-expr.md#const-blocks
 [const functions]:      items/functions.md#const-functions
-[const generic argument]: items/generics.md#const-generics
-[const generic parameters]: items/generics.md#const-generics
+[const generic argument]: generics.const
+[const generic parameters]: generics.const
 [constant expressions]: #constant-expressions
 [constants]:            items/constant-items.md
-[Const parameters]:     items/generics.md
+[Const parameters]:     generics.const
 [dereference expression]: expr.deref
 [dereference expressions]: expr.deref
 [destructors]:          destructors.md

diff --git a/src/crates-and-source-files.md b/src/crates-and-source-files.md
@@ -139,4 +139,4 @@ The crate name must not be empty, and must only contain [Unicode alphanumeric] o
 [panic-docs]: panic.md#unwinding-across-ffi-boundaries
 [shebang]: shebang.md
 [trait or lifetime bounds]: trait-bounds.md
-[where clauses]: items/generics.md#where-clauses
+[where clauses]: bound.where
diff --git a/src/expressions/array-expr.md b/src/expressions/array-expr.md
@@ -132,11 +132,11 @@ The array index expression can be implemented for types other than arrays and sl
 [IndexMut]: std::ops::IndexMut
 [Index]: std::ops::Index
 [array]: ../types/array.md
-[const generic argument]: items.generics.const.argument
+[const generic argument]: generics.const.arguments
 [const block expression]: expr.block.const
 [constant expression]: ../const_eval.md#constant-expressions
 [constant item]: ../items/constant-items.md
-[inferred const]: items.generics.const.inferred
+[inferred const]: generics.const.arguments.inferred
 [literal]: ../tokens.md#literals
 [memory location]: ../expressions.md#place-expressions-and-value-expressions
 [panic]: ../panic.md

diff --git a/src/glossary.md b/src/glossary.md
@@ -279,7 +279,7 @@ assert_eq!(0, size_of::<U>());
 [fields]: expressions/field-expr.md
 [free item]: #free-item
 [function items]: type.fn-item
-[generic parameters]: items/generics.md
+[generic parameters]: generics
 [identifier]: identifiers.md
 [identifiers]: identifiers.md
 [implementation]: items/implementations.md

diff --git a/src/items/associated-items.md b/src/items/associated-items.md
@@ -509,6 +509,6 @@ fn main() {
 [method call operator]: ../expressions/method-call-expr.md
 [path]: ../paths.md
 [regular function parameters]: functions.md#attributes-on-function-parameters
-[generic parameters]: generics.md
-[where clauses]: generics.md#where-clauses
+[generic parameters]: generics
+[where clauses]: bound.where
 [constant evaluation]: ../const_eval.md