Add a TODO

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.