add chapter to summary

This commit is contained in:
lcnr 2024-03-22 11:44:55 +00:00 committed by Oli Scherer
parent 2c12c0cae1
commit d53598ae3f
1 changed files with 1 additions and 0 deletions

View File

@ -140,6 +140,7 @@
- [Proof trees](./solve/proof-trees.md)
- [Normalization](./solve/normalization.md)
- [Opaque types](./solve/opaque-types.md)
- [Significant changes and quirks](./solve/significant-changes.md)
- [`Unsize` and `CoerceUnsized` traits](./traits/unsize.md)
- [Type checking](./type-checking.md)
- [Method Lookup](./method-lookup.md)