diff --git a/recursion/compiler/src/ir/types.rs b/recursion/compiler/src/ir/types.rs
index 027c6b80af..9b57cf7493 100644
--- a/recursion/compiler/src/ir/types.rs
+++ b/recursion/compiler/src/ir/types.rs
@@ -1042,7 +1042,7 @@ impl<F: Field, EF: ExtensionField<F>> Ext<F, EF> {
                     builder.push(DslIr::SubE(*self, *lhs, *rhs));
                 }
                 (SymbolicExt::Val(lhs, _), SymbolicExt::Base(rhs, _)) => {
-                    let rhs = builder.eval(rhs.clone().into());
+                    let rhs: Felt<_> = builder.eval(rhs.clone().into());
                     builder.push(DslIr::SubEF(*self, *lhs, rhs));
                 }
                 (SymbolicExt::Val(lhs, _), rhs) => {