From 32eadcca12c4061bd09e36a65447123da6a4826c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 18 Jan 2022 18:00:09 +0100
Subject: Update the types and deserialization following charon's updates

---
 TODO.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'TODO.md')

diff --git a/TODO.md b/TODO.md
index 73eb4467..862f863c 100644
--- a/TODO.md
+++ b/TODO.md
@@ -10,8 +10,11 @@
   shared borrows?), nested borrows...
   necessary to know what to return.
 
+2. check types are not "infinite"
+
 3. in MIR, erased regions are completely erased (no list of erased regions...):
-  update functions like `ty_has_regions` (and rename to `ty_has_borrows`)
+  update functions like `ty_has_regions` (and rename to `ty_has_borrows`),
+  `erase_regions`
 
 4. check that no borrow_overwrites upon ending abstractions
 
@@ -25,6 +28,7 @@
 6. add `mvalue` (meta values) stored in abstractions when ending loans
 
 7. fix the static regions (with projectors)
+   Before that, introduce a sanity check to make sure we don't use static regions.
 
 * write a function to check that the code we are about to synthesize is in the proper
   subset. In particular:
-- 
cgit v1.2.3