summaryrefslogtreecommitdiff
path: root/TODO.md
diff options
context:
space:
mode:
authorSon Ho2022-01-25 23:02:54 +0100
committerSon Ho2022-01-25 23:02:54 +0100
commit0a93309c8dc40fcda0bfb7f72bb8af38fcc14afd (patch)
tree8356b7141b289bf2183f8d6cd8cf5002eaf844b0 /TODO.md
parent6d6f955f5f7acc4b9cc8518238815156b6624741 (diff)
Start working on typed_avalue_to_consumed
Diffstat (limited to 'TODO.md')
-rw-r--r--TODO.md2
1 files changed, 2 insertions, 0 deletions
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