Add link for unsize.md

2023-11-18 20:13:00 +00:00 · 2023-11-18 20:13:00 +00:00 · 88086cea77
parent 9bb33f0013
commit 88086cea77
1 changed files with 1 additions and 0 deletions
--- 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)