diff --git a/src/SUMMARY.md b/src/SUMMARY.md
index 4a7fd2b77..b637e08fd 100644
--- 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)