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] 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