summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--TODO.md3
1 files changed, 2 insertions, 1 deletions
diff --git a/TODO.md b/TODO.md
index 027dab18..fd950d7b 100644
--- a/TODO.md
+++ b/TODO.md
@@ -36,7 +36,6 @@
* remove the rule which says that we can end a borrow under an abstraction if
the corresponding loan is in the same abstraction.
Actually: update the rule, rather.
-* Reduce projectors to `_` (ignored) when there are no region intersections
* update end_borrow_get_borrow to keep track of the ignored borrows/loans as
outer borrows, and track the ids of the ignored shared loans?
@@ -90,3 +89,5 @@
* `apply_proj_borrows_on_input_values` : ... -> value -> rty -> avalue
* `apply_proj_borrows_on_given_back_values` : ... -> value -> avalue -> avalue
Actually: didn't do it: bad idea.
+
+* Reduce projectors to `_` (ignored) when there are no region intersections