From 409c23c0776f3e988cd5200aebd957b2b73fd727 Mon Sep 17 00:00:00 2001
From: Aymeric Fromherz <aymeric.fromherz@inria.fr>
Date: Tue, 11 Feb 2025 11:33:49 +0100
Subject: [PATCH] Catch leftover assumed declarations at codegen time

---
 lib/PrintMiniRust.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/PrintMiniRust.ml b/lib/PrintMiniRust.ml
index 9a4c5345..11092ba2 100644
--- a/lib/PrintMiniRust.ml
+++ b/lib/PrintMiniRust.ml
@@ -606,8 +606,8 @@ let rec print_decl env (d: decl) =
       group (print_meta meta ^^ string "type" ^/^ string target_name  ^^ print_generic_params generic_params ^/^ equals) ^/^
       group (print_typ env body ^^ semi)
   (* Assumed declarations correspond to externals, which were propagated for mutability inference purposes.
-     We do not emit them *)
-  | Assumed _ -> empty
+     They should have been filtered out during the MiniRust cleanup *)
+  | Assumed _ -> failwith "Assumed declaration remaining"
 
 and print_derives traits =
   group @@