diff options
author | Son Ho | 2021-12-17 18:51:55 +0100 |
---|---|---|
committer | Son Ho | 2021-12-17 18:51:55 +0100 |
commit | 49507d66422863f8cee48631f945e3dec3423569 (patch) | |
tree | 5569fd25a30ffa11cf8b113409a48da9ec94d83a /src/Values.ml | |
parent | 097ba49d4243854a2d6377f9cb9af7d711b19f1c (diff) |
Implement apply_reborrows
Diffstat (limited to '')
-rw-r--r-- | src/Values.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Values.ml b/src/Values.ml index 458fbdec..5c38b888 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -255,7 +255,7 @@ and aloan_content = | AIgnoredMutLoan of (BorrowId.id[@opaque]) * typed_avalue | AEndedIgnoredMutLoan of { given_back : typed_avalue; child : typed_avalue } | AIgnoredSharedLoan of (abstract_shared_borrows[@opaque]) - (** TODO: remove this one? *) + (** TODO: rename. AProjSharedLoan? *) (** Note that when a borrow content is ended, it is replaced by Bottom (while we need to track ended loans more precisely, especially because of their @@ -274,6 +274,7 @@ and aborrow_content = | ASharedBorrow of (BorrowId.id[@opaque]) | AIgnoredMutBorrow of typed_avalue | AIgnoredSharedBorrow of (abstract_shared_borrows[@opaque]) + (** TODO: rename. AProjSharedBorrow? *) (* TODO: we may want to merge this with typed_value - would prevent some issues when accessing fields... *) |