From 437aec0e28ed1a80168655667348d57e761c31fd Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 14 Jan 2022 23:05:30 +0100
Subject: Update the TODOs

---
 TODO.md | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/TODO.md b/TODO.md
index 6c8054b3..d394c06e 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,11 +1,5 @@
 # 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.
-
 2. add a switch to allow general symbolic values (containing references, etc.)
   or not.
 
@@ -89,3 +83,10 @@
   borrows/abstractions to end).
 
 * Detect loops in end_borrow/end_abstraction
+
+* recheck give_back_symbolic_value (use regions!)
+
+* 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.
+  Completion: we expand those values only upon copying them (that's enough).
-- 
cgit v1.2.3