1 files changed, 6 insertions, 0 deletions
diff --git a/rust-tests/src/main.rs b/rust-tests/src/main.rs
index e85acf8c..b7478c0e 100644
--- a/rust-tests/src/main.rs
+++ b/rust-tests/src/main.rs
@@ -66,4 +66,10 @@ fn main() {
         println!("| {} i -> i", s);
     }
     println!("\n");
+
+    // Generate the mk_scalar body
+    for s in &ints_upper {
+        println!("| Types.{} -> Ok ({} i)", s, s);
+    }
+    println!("\n");
 }