From cad91811f91bd134bcc83eed0624db8081b76755 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 14 Jan 2022 12:29:52 +0100
Subject: Add a TODO

---
 TODO.md | 3 +++
 1 file changed, 3 insertions(+)

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.
-- 
cgit v1.2.3