summary: opaque-types-region-inference-restrictions

Author: aliemjay

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