From 234bb5352b83928af10ee9d90c6da916372a360f Mon Sep 17 00:00:00 2001
From: Philippe-Cholet <phcholet@orange.fr>
Date: Sun, 12 Nov 2023 12:24:45 +0100
Subject: [PATCH] Test `MultiProduct` specializations

---
 tests/specializations.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/tests/specializations.rs b/tests/specializations.rs
index 30e2082e4..fe14234d6 100644
--- a/tests/specializations.rs
+++ b/tests/specializations.rs
@@ -114,6 +114,15 @@ quickcheck! {
         TestResult::passed()
     }
 
+    #[ignore] // It currently fails because `MultiProduct` is not fused.
+    fn multi_cartesian_product(a: Vec<u8>, b: Vec<u8>, c: Vec<u8>) -> TestResult {
+        if a.len() * b.len() * c.len() > 100 {
+            return TestResult::discard();
+        }
+        test_specializations(&vec![a, b, c].into_iter().multi_cartesian_product());
+        TestResult::passed()
+    }
+
     fn coalesce(v: Vec<u8>) -> () {
         test_specializations(&v.iter().coalesce(|x, y| if x == y { Ok(x) } else { Err((x, y)) }))
     }