w

lcnr · lcnr · commit 223fae3f593e · 2022-03-22T15:24:55.000+01:00
diff --git a/design/README.md b/design/README.md
@@ -85,6 +85,8 @@ This feature interacts with the following topics:
 ### ❔ Const evaluatable bounds
 
 - ❗ Using subtrees to fulfill bounds
+- ❗❔ Discarding bounds and soundness
+- ❔⚖️ Improving const evaluatability checks
 
 ALL OF THIS
 
