From a84adca5d499a02c50b5510dd49dbbdf9c387018 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 12 Jan 2022 17:52:28 +0100
Subject: Add more TODOs

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

diff --git a/TODO.md b/TODO.md
index 864c822b..52085328 100644
--- a/TODO.md
+++ b/TODO.md
@@ -13,6 +13,9 @@
   * `apply_proj_borrows_on_input_values` : ... -> value -> rty -> avalue
   * `apply_proj_borrows_on_given_back_values` : ... -> value -> avalue -> avalue
 
+* remove the rule which says that we can end a borrow under an abstraction if
+  the corresponding loan is in the same abstraction
+
 * During printing, contexts are often big, with many variables containing "bottom".
   Some variables also actually never get assigned, especially when they are used
   for auxiliary assignments which don't exist anymore (because they were merged
-- 
cgit v1.2.3