From 9a3728b9012c977a72952ff9bd72db33165ec378 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/SUMMARY.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/SUMMARY.md b/src/SUMMARY.md index c2b14d317d..362aea65cc 100644 --- a/src/SUMMARY.md +++ b/src/SUMMARY.md @@ -165,6 +165,8 @@ - [Placeholders and universes][pau] - [Closure constraints](./borrow_check/region_inference/closure_constraints.md) - [Error reporting](./borrow_check/region_inference/error_reporting.md) + - Opaque types + - [Region inference restrictions][opaque-infer] - [Two-phase-borrows](./borrow_check/two_phase_borrows.md) - [Parameter Environments](./param_env.md) - [Errors and Lints](diagnostics.md) @@ -208,3 +210,4 @@ --- [pau]: ./borrow_check/region_inference/placeholders_and_universes.md +[opaque-infer]: ./borrow_check/opaque-types-region-inference-restrictions.md