From ed8bbfc8a0cdc8474c41e16438fd80e6c491e6e2 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 24 Nov 2021 00:01:50 +0100
Subject: Insert some sanity checks

---
 src/Interpreter.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Interpreter.ml b/src/Interpreter.ml
index 3da9853f..ca7d7a09 100644
--- a/src/Interpreter.ml
+++ b/src/Interpreter.ml
@@ -620,6 +620,9 @@ let rec activate_inactivated_mut_borrow (config : config) (io : inner_outer)
           (* Recursive call *)
           activate_inactivated_mut_borrow config io l env'
       | None ->
+          (* Some sanity checks *)
+          assert (not (loans_in_value sv));
+          assert (not (bottom_in_value sv));
           (* End the borrows which borrow from the value, at the exception of the borrow
            * we want to promote *)
           let bids = BorrowId.Set.remove l bids in
-- 
cgit v1.2.3