Update crates/formality-core/src/fuzz.rs

Co-authored-by: lcnr <[email protected]>
rust-lang · Jul 16, 2024 · e0a6dca · e0a6dca
1 parent adb26b6
commit e0a6dca
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crates/formality-core/src/fuzz.rs b/crates/formality-core/src/fuzz.rs
@@ -590,7 +590,7 @@ macro_rules! tuple_impl {
                 cx.enter_estimate_cardinality::<Self>(|guard| -> f64 {
                     [
                         $(guard.estimate_cardinality::<$A>(),)*
-                    ].into_iter().sum()
+                    ].into_iter().product()
                 })
             }