summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--TODO.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/TODO.md b/TODO.md
index 661bdf9c..3c785c52 100644
--- a/TODO.md
+++ b/TODO.md
@@ -9,6 +9,9 @@
* check that no borrow_overwrites upon ending abstractions
+* add a switch to allow general symbolic values (containing references, etc.)
+ or not.
+
* set of types with mutable borrows (what to do when type variables appear under
shared borrows?)
necessary to know what to return.