hm

jtguibas · jtguibas · commit 2cb0be8a76af · 2024-07-31T17:30:45.000-07:00
diff --git 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: Felt<_> = builder.eval(rhs.clone().into());
+                    let rhs: Felt<_> = builder.eval(*rhs.clone());
                     builder.push(DslIr::SubEF(*self, *lhs, rhs));
                 }
                 (SymbolicExt::Val(lhs, _), rhs) => {

Original file line number	Diff line number	Diff line change
`@@ -1042,7 +1042,7 @@ impl<F: Field, EF: ExtensionField<F>> Ext<F, EF> {`
`1042`	`1042`	`builder.push(DslIr::SubE(self, lhs, *rhs));`
`1043`	`1043`	`}`
`1044`	`1044`	`(SymbolicExt::Val(lhs, _), SymbolicExt::Base(rhs, _)) => {`
`1045`		`- let rhs: Felt<_> = builder.eval(rhs.clone().into());`
	`1045`	`+ let rhs: Felt<_> = builder.eval(*rhs.clone());`
`1046`	`1046`	`builder.push(DslIr::SubEF(self, lhs, rhs));`
`1047`	`1047`	`}`
`1048`	`1048`	`(SymbolicExt::Val(lhs, _), rhs) => {`