diff --git a/src/doc/rustc-dev-guide/src/SUMMARY.md b/src/doc/rustc-dev-guide/src/SUMMARY.md
index 1e8e2e630439..99b24fe59497 100644
--- a/src/doc/rustc-dev-guide/src/SUMMARY.md
+++ b/src/doc/rustc-dev-guide/src/SUMMARY.md
@@ -121,7 +121,7 @@
     - [Method Lookup](./method-lookup.md)
     - [Variance](./variance.md)
     - [Opaque Types](./opaque-types-type-alias-impl-trait.md)
-        - [Inference details](./opaque-types-type-alias-impl-trait-inference.md)
+        - [Inference details](./opaque-types-impl-trait-inference.md)
 - [Pattern and Exhaustiveness Checking](./pat-exhaustive-checking.md)
 - [MIR dataflow](./mir/dataflow.md)
 - [Drop elaboration](./mir/drop-elaboration.md)
diff --git a/src/doc/rustc-dev-guide/src/opaque-types-type-alias-impl-trait-inference.md b/src/doc/rustc-dev-guide/src/opaque-types-impl-trait-inference.md
similarity index 100%
rename from src/doc/rustc-dev-guide/src/opaque-types-type-alias-impl-trait-inference.md
rename to src/doc/rustc-dev-guide/src/opaque-types-impl-trait-inference.md