Add link for unsize.md

rust-lang · Nov 18, 2023 · ddb8b13 · ddb8b13
1 parent a07ec82
commit ddb8b13
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -130,6 +130,7 @@
         - [Coinduction](./solve/coinduction.md)
         - [Proof trees](./solve/proof-trees.md)
         - [Normalization](./solve/normalization.md)
+    - [`Unsize` and `CoerceUnsized` traits](./traits/unsize.md)
 - [Type checking](./type-checking.md)
     - [Method Lookup](./method-lookup.md)
     - [Variance](./variance.md)