From 407474a35b7dd80116c8d358873d25e1a9b49048 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 6 Jan 2022 16:18:40 +0100
Subject: Fix some bugs

---
 src/Values.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/Values.ml')

diff --git a/src/Values.ml b/src/Values.ml
index ac4145eb..47bdda23 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -518,7 +518,11 @@ and aborrow_content =
        *)
 
 (* TODO: we may want to merge this with typed_value - would prevent some issues
-   when accessing fields... *)
+   when accessing fields....
+
+   TODO: the type of avalues doesn't make sense for loan avalues: they currently
+   are typed as `& (mut) T` instead of `T`...
+*)
 and typed_avalue = { value : avalue; ty : rty }
 [@@deriving
   show,
-- 
cgit v1.2.3