diff --git a/tests/lean/jpCasesDiscrM.lean.expected.out b/tests/lean/jpCasesDiscrM.lean.expected.out
index a8cb9f15c0..2b523c7921 100644
--- a/tests/lean/jpCasesDiscrM.lean.expected.out
+++ b/tests/lean/jpCasesDiscrM.lean.expected.out
@@ -1,6 +1,6 @@
 [Compiler.saveBase] size: 7
     def f1 c a b : Nat :=
-      cases c
+      cases c : Nat
       | Bool.false =>
         let _x.1 := Nat.add a b
         _x.1
@@ -11,7 +11,7 @@
         _x.4
 [Compiler.saveBase] size: 7
     def f2 c a b : Nat :=
-      cases c
+      cases c : Nat
       | Bool.false =>
         let _x.1 := Nat.add a b
         _x.1
@@ -32,7 +32,7 @@
         let _x.7 := Nat.add _x.6 y
         _x.7
       jp _jp.8 y z d : Nat :=
-        cases d
+        cases d : Nat
         | C.c1 =>
           goto _jp.1 y z
         | C.c3 =>
@@ -41,7 +41,7 @@
           _x.10
         | _ =>
           goto _jp.5 y z
-      cases c
+      cases c : Nat
       | C.c1 =>
         goto _jp.1 a b
       | C.c2 =>
diff --git a/tests/lean/jpCasesNary.lean.expected.out b/tests/lean/jpCasesNary.lean.expected.out
index f2ab3aaea8..b349eca0a4 100644
--- a/tests/lean/jpCasesNary.lean.expected.out
+++ b/tests/lean/jpCasesNary.lean.expected.out
@@ -1,6 +1,6 @@
 [Compiler.saveBase] size: 7
     def f1 c a b : Nat :=
-      cases c
+      cases c : Nat
       | Bool.false =>
         let _x.1 := Nat.add b a
         let _x.2 := Nat.mul a b
@@ -11,7 +11,7 @@
         _x.4
 [Compiler.saveBase] size: 7
     def f2 c a b : Nat :=
-      cases c
+      cases c : Nat
       | Bool.false =>
         let _x.1 := Nat.add b a
         let _x.2 := Nat.mul a b
@@ -32,12 +32,12 @@
         let _x.7 := Nat.add _x.6 y
         _x.7
       jp _jp.8 y d z : Nat :=
-        cases d
+        cases d : Nat
         | C.c1 =>
           goto _jp.1 y z
         | _ =>
           goto _jp.5 y z
-      cases c
+      cases c : Nat
       | C.c1 =>
         goto _jp.5 a b
       | C.c2 =>
@@ -58,7 +58,7 @@
         let _x.7 := Nat.add _x.6 y
         _x.7
       jp _jp.8 y z d : Nat :=
-        cases d
+        cases d : Nat
         | C.c1 =>
           goto _jp.1 y z
         | C.c3 =>
@@ -67,7 +67,7 @@
           _x.10
         | _ =>
           goto _jp.5 y z
-      cases c
+      cases c : Nat
       | C.c1 =>
         goto _jp.5 a b
       | C.c2 =>