renamed

2022-07-17 23:58:28 +02:00 · 2022-07-17 23:58:28 +02:00 · 6e1ac9dd04
parent 0c2f5c9b77
commit 6e1ac9dd04
2 changed files with 1 additions and 1 deletions
--- 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)
--- a/src/opaque-types-type-alias-impl-trait-inference.md
+++ b/src/opaque-types-type-alias-impl-trait-inference.md