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](./borrow_check/opaque-types-region-inference-restrictions.md)
     - [Two-phase-borrows](./borrow_check/two_phase_borrows.md)
 - [Parameter Environments](./param_env.md)
 - [Errors and Lints](diagnostics.md)