From 7084b63fe23f61128dc09e60d64086626265e7b0 Mon Sep 17 00:00:00 2001 From: Michael Goulet Date: Sat, 18 Nov 2023 20:13:00 +0000 Subject: [PATCH] Add link for unsize.md --- src/SUMMARY.md | 1 + 1 file changed, 1 insertion(+) 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)