From 0a93309c8dc40fcda0bfb7f72bb8af38fcc14afd Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 25 Jan 2022 23:02:54 +0100
Subject: Start working on typed_avalue_to_consumed

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

(limited to 'TODO.md')

diff --git a/TODO.md b/TODO.md
index ff7ba7ab..71d28517 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,5 +1,7 @@
 # TODO
 
+0. add a meta-value in shared borrows to carry the shared value
+
 0. update the end borrows internal to abstractions to not introduce a Bottom
 
 1. reorder the branches of matches
-- 
cgit v1.2.3