From 5809c45fbbfcbb78b15a97be619dcde4ab4868b8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 29 Mar 2024 16:21:15 +0100
Subject: Add some error messages

---
 compiler/InterpreterProjectors.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/InterpreterProjectors.ml')

diff --git a/compiler/InterpreterProjectors.ml b/compiler/InterpreterProjectors.ml
index d7c20ae0..8b6eeb6c 100644
--- a/compiler/InterpreterProjectors.ml
+++ b/compiler/InterpreterProjectors.ml
@@ -502,7 +502,7 @@ let apply_proj_borrows_on_input_value (config : config) (meta : Meta.meta)
     (ctx : eval_ctx) (regions : RegionId.Set.t)
     (ancestors_regions : RegionId.Set.t) (v : typed_value) (ty : rty) :
     eval_ctx * typed_avalue =
-  cassert __FILE__ __LINE__ (ty_is_rty ty) meta "TODO: error message";
+  sanity_check __FILE__ __LINE__ (ty_is_rty ty) meta;
   let check_symbolic_no_ended = true in
   let allow_reborrows = true in
   (* Prepare the reborrows *)
-- 
cgit v1.2.3