Take the abstract shared borrows into account

1 files changed, 3 insertions, 0 deletions

diff --git a/src/Values.ml b/src/Values.ml
index 1a61f296..458fbdec 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -159,6 +159,9 @@ and typed_value = { value : value; ty : ety }
     Note that as shared values can't get modified it is ok to forget the
     structure of the values we projected, and only keep the set of borrows
     (and symbolic values).
+    
+    TODO: we may actually need to remember the structure, in order to know
+    which borrows are inside which other borrows...
 *)
 type abstract_shared_borrow =
   | AsbBorrow of (BorrowId.id[@opaque])