From e4d7fc306621244beec490971b31d8b6f6cf3274 Mon Sep 17 00:00:00 2001 From: Ali MJ Al-Nasrawy Date: Wed, 27 Mar 2024 07:43:19 +0000 Subject: [PATCH] summary: opaque-types-region-inference-restrictions --- src/doc/rustc-dev-guide/src/SUMMARY.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/doc/rustc-dev-guide/src/SUMMARY.md b/src/doc/rustc-dev-guide/src/SUMMARY.md index c2b14d317d16..a4be4b929fb1 100644 --- a/src/doc/rustc-dev-guide/src/SUMMARY.md +++ b/src/doc/rustc-dev-guide/src/SUMMARY.md @@ -148,6 +148,7 @@ - [Opaque Types](./opaque-types-type-alias-impl-trait.md) - [Inference details](./opaque-types-impl-trait-inference.md) - [Return Position Impl Trait In Trait](./return-position-impl-trait-in-trait.md) + - [Region inference restrictions][opaque-infer] - [Effect checking](./effects.md) - [Pattern and Exhaustiveness Checking](./pat-exhaustive-checking.md) - [Unsafety Checking](./unsafety-checking.md) @@ -208,3 +209,4 @@ --- [pau]: ./borrow_check/region_inference/placeholders_and_universes.md +[opaque-infer]: ./borrow_check/opaque-types-region-inference-restrictions.md