Auto merge of #748 - seanchen1991:master, r=jackh726

bors · bors · commit 9bba3a853969 · 2022-02-22T03:01:02.000Z
Add some additional topics to todo.md

Adds a few more topics to be added to the Chalk book based on discussions with `@jackh726`
diff --git a/book/src/todo.md b/book/src/todo.md
@@ -4,3 +4,5 @@ Some topics yet to be written:
 
 - Elaborate on the proof procedure
 - SLG solving – introduce negative reasoning
+- Go over how trait impls are selected and checked
+- Add a section on higher-ranked trait bounds
