summaryrefslogtreecommitdiff
path: root/TODO.md
diff options
context:
space:
mode:
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 d92e9640..ff7ba7ab 100644
--- a/TODO.md
+++ b/TODO.md
@@ -2,6 +2,8 @@
0. update the end borrows internal to abstractions to not introduce a Bottom
+1. reorder the branches of matches
+
1. stateful maps/sets modules (hashtbl?)
1. Check the occurrence of visitors like visit_AEndedMutLoan: the parameters are