From 0e86ecb77a79e791c18861dbc63ae773b2f00d1f Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 14 Jan 2022 22:46:31 +0100
Subject: Implement greedy expansion of symbolic variables and expansion before
 copy

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

(limited to 'TODO.md')

diff --git a/TODO.md b/TODO.md
index 471d230f..6c8054b3 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,7 @@
 # TODO
 
+0. TODO: recheck give_back_symbolic_value (use regions!)
+
 1. expand symbolic values which are primitively copyable upon using them as
   function arguments or putting them in the return value, in order to deduplicate
   those values.
@@ -18,6 +20,8 @@
 
 6. update the printing of mut_borrows and mut_loans ([s@0 <: ...]) and (s@0)
 
+7. fix the static regions (with projectors)
+
 * write an interesting example to study with Jonathan
 
 * add option for: `allow_borrow_overwrites_on_input_values`
-- 
cgit v1.2.3