From a02988ef64f062dce138c33aafc36b7f95542f55 Mon Sep 17 00:00:00 2001
From: Kai Daniel <kaiingodaniel@gmail.com>
Date: Tue, 22 Oct 2024 21:30:07 +0100
Subject: [PATCH 1/2] move file so cargo can detect it

---
 rust/tests/{datatype => }/disjoint_union_test.rs | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename rust/tests/{datatype => }/disjoint_union_test.rs (100%)

diff --git a/rust/tests/datatype/disjoint_union_test.rs b/rust/tests/disjoint_union_test.rs
similarity index 100%
rename from rust/tests/datatype/disjoint_union_test.rs
rename to rust/tests/disjoint_union_test.rs

From 4d7d36fa5fd8a5973cf4efb185f6396b7b78a6aa Mon Sep 17 00:00:00 2001
From: Kai Daniel <kaiingodaniel@gmail.com>
Date: Tue, 22 Oct 2024 22:02:03 +0100
Subject: [PATCH 2/2] allow dead code in test

---
 rust/tests/disjoint_union_test.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/rust/tests/disjoint_union_test.rs b/rust/tests/disjoint_union_test.rs
index 02c873e..28f757d 100644
--- a/rust/tests/disjoint_union_test.rs
+++ b/rust/tests/disjoint_union_test.rs
@@ -11,6 +11,7 @@ use sparta::datatype::AbstractDomain;
 use sparta::datatype::DisjointUnion;
 use sparta::datatype::HashSetAbstractDomain;
 
+#[allow(dead_code)]
 #[derive(Clone, DisjointUnion, PartialEq, Eq)]
 enum MyUnionedDomain {
     FirstCase(HashSetAbstractDomain<i32>),
@@ -119,6 +120,7 @@ fn test_meet_diff_arm() {
     assert!(met_mudom.is_bottom());
 }
 
+#[allow(dead_code)]
 #[derive(Clone, DisjointUnion, PartialEq, Eq)]
 enum TestGenericsDeriveTypechecks<S, T>
 where
@@ -129,6 +131,7 @@ where
     SecondCase(HashSetAbstractDomain<T>),
 }
 
+#[allow(dead_code)]
 #[derive(Clone, DisjointUnion, PartialEq, Eq)]
 enum TestGenericsDeriveForWholeDomainTypechecks<S: AbstractDomain, T>
 where