diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 1e8e2e63..99b24fe5 100644
--- a/src/SUMMARY.md
+++ b/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/opaque-types-type-alias-impl-trait-inference.md b/src/opaque-types-impl-trait-inference.md
similarity index 100%
rename from src/opaque-types-type-alias-impl-trait-inference.md
rename to src/opaque-types-impl-trait-inference.md