From aa0b10a24b8e6b8323b0741e8573ba4fc6283409 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 20 Oct 2022 21:11:57 +0200
Subject: Fix the semantics of drop

---
 TODO.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'TODO.md')

diff --git a/TODO.md b/TODO.md
index 37d35138..39a16cdd 100644
--- a/TODO.md
+++ b/TODO.md
@@ -78,7 +78,7 @@
 
 6. add `mvalue` (meta values) stored in abstractions when ending loans
 
-8. The following doesn't work:
+8. The following doesn't work (if we don't expand the symbolic values):
   ```
   fn f1<'c, T>(p : (&'c mut T, &'c mut T)) -> (&'c mut T, &'c mut T)
 
-- 
cgit v1.2.3