Implement greedy expansion of symbolic variables and expansion before

copy

1 files changed, 4 insertions, 0 deletions

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`