Merge pull request #723 from ImmanuelSegol/feat/avoid-wasm-error

bug fix - wasm pack compile error
zcash · Jan 20, 2023 · 94b454c · 94b454c
2 parents 9eb8ead + aae4dce
commit 94b454c
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/halo2_gadgets/src/poseidon/primitives/mds.rs b/halo2_gadgets/src/poseidon/primitives/mds.rs
@@ -81,8 +81,13 @@ pub(super) fn generate_mds<F: FromUniformBytes<64> + Ord, const T: usize>(
             if m == j {
                 acc
             } else {
+                // We hard-code the type, to avoid spurious "cannot infer type" rustc errors.
+                let denominator: F = x_j - x_m;
+
                 // We can invert freely; by construction, the elements of xs are distinct.
-                acc * (x - x_m) * (x_j - x_m).invert().unwrap()
+                let denominator_inverted: F = denominator.invert().unwrap();
+
+                acc * (x - x_m) * denominator_inverted
             }
         })
     };