summary

rust-lang · Feb 29, 2024 · 44a07c2 · 44a07c2
1 parent d0f8624
commit 44a07c2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -134,6 +134,7 @@
         - [Coinduction](./solve/coinduction.md)
         - [Proof trees](./solve/proof-trees.md)
         - [Normalization](./solve/normalization.md)
+        - [Opaque types](./solve/opaque-types.md)
     - [`Unsize` and `CoerceUnsized` traits](./traits/unsize.md)
 - [Type checking](./type-checking.md)
     - [Method Lookup](./method-lookup.md)