diff options
author | Son Ho | 2022-01-25 23:02:54 +0100 |
---|---|---|
committer | Son Ho | 2022-01-25 23:02:54 +0100 |
commit | 0a93309c8dc40fcda0bfb7f72bb8af38fcc14afd (patch) | |
tree | 8356b7141b289bf2183f8d6cd8cf5002eaf844b0 /TODO.md | |
parent | 6d6f955f5f7acc4b9cc8518238815156b6624741 (diff) |
Start working on typed_avalue_to_consumed
Diffstat (limited to '')
-rw-r--r-- | TODO.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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 |