Apply Marko's suggestion

evm_arithmetization/src/lib.rs

@@ -183,14 +183,15 @@
 #![allow(clippy::field_reassign_with_default)]
 #![feature(let_chains)]
 
-#[cfg_attr(
-    not(any(feature = "polygon_pos", feature = "cdk_erigon")),
-    cfg(feature = "eth_mainnet")
-)]
 #[cfg(any(
     all(feature = "cdk_erigon", feature = "polygon_pos"),
     all(feature = "cdk_erigon", feature = "eth_mainnet"),
     all(feature = "polygon_pos", feature = "eth_mainnet"),
+    not(any(
+        feature = "cdk_erigon",
+        feature = "eth_mainnet",
+        feature = "polygon_pos"
+    ))
 ))]
 compile_error!("Only a single network feature should be enabled at a time!");
 

proof_gen/src/lib.rs

@@ -134,14 +134,15 @@
 //!     assert!(verifier_state.verify(block_proof.intern).is_ok());
 //! ```
 
-#[cfg_attr(
-    not(any(feature = "polygon_pos", feature = "cdk_erigon")),
-    cfg(feature = "eth_mainnet")
-)]
 #[cfg(any(
     all(feature = "cdk_erigon", feature = "polygon_pos"),
     all(feature = "cdk_erigon", feature = "eth_mainnet"),
     all(feature = "polygon_pos", feature = "eth_mainnet"),
+    not(any(
+        feature = "cdk_erigon",
+        feature = "eth_mainnet",
+        feature = "polygon_pos"
+    ))
 ))]
 compile_error!("Only a single network feature should be enabled at a time!");
 

trace_decoder/src/decoding.rs

@@ -112,7 +112,6 @@ pub fn into_txn_proof_gen_ir(
 }
 
 /// Includes additional state and storage updates for pre-block execution.
-#[allow(unused)]
 fn pre_block_execution(
     trie_state: &mut PartialTrieState<impl StateTrie>,
     delta_out: &mut TrieDeltaApplicationOutput,

trace_decoder/src/lib.rs

@@ -68,14 +68,15 @@
 #![warn(missing_debug_implementations)]
 #![warn(missing_docs)]
 
-#[cfg_attr(
-    not(any(feature = "polygon_pos", feature = "cdk_erigon")),
-    cfg(feature = "eth_mainnet")
-)]
 #[cfg(any(
     all(feature = "cdk_erigon", feature = "polygon_pos"),
     all(feature = "cdk_erigon", feature = "eth_mainnet"),
     all(feature = "polygon_pos", feature = "eth_mainnet"),
+    not(any(
+        feature = "cdk_erigon",
+        feature = "eth_mainnet",
+        feature = "polygon_pos"
+    ))
 ))]
 compile_error!("Only a single network feature should be enabled at a time!");
 

zero_bin/common/src/lib.rs

@@ -1,11 +1,12 @@
-#[cfg_attr(
-    not(any(feature = "polygon_pos", feature = "cdk_erigon")),
-    cfg(feature = "eth_mainnet")
-)]
 #[cfg(any(
     all(feature = "cdk_erigon", feature = "polygon_pos"),
     all(feature = "cdk_erigon", feature = "eth_mainnet"),
     all(feature = "polygon_pos", feature = "eth_mainnet"),
+    not(any(
+        feature = "cdk_erigon",
+        feature = "eth_mainnet",
+        feature = "polygon_pos"
+    ))
 ))]
 compile_error!("Only a single network feature should be enabled at a time!");
 pub mod block_interval;

zero_bin/leader/src/main.rs

@@ -1,11 +1,12 @@
-#[cfg_attr(
-    not(any(feature = "polygon_pos", feature = "cdk_erigon")),
-    cfg(feature = "eth_mainnet")
-)]
 #[cfg(any(
     all(feature = "cdk_erigon", feature = "polygon_pos"),
     all(feature = "cdk_erigon", feature = "eth_mainnet"),
     all(feature = "polygon_pos", feature = "eth_mainnet"),
+    not(any(
+        feature = "cdk_erigon",
+        feature = "eth_mainnet",
+        feature = "polygon_pos"
+    ))
 ))]
 compile_error!("Only a single network feature should be enabled at a time!");
 

zero_bin/ops/src/lib.rs

@@ -1,11 +1,12 @@
-#[cfg_attr(
-    not(any(feature = "polygon_pos", feature = "cdk_erigon")),
-    cfg(feature = "eth_mainnet")
-)]
 #[cfg(any(
     all(feature = "cdk_erigon", feature = "polygon_pos"),
     all(feature = "cdk_erigon", feature = "eth_mainnet"),
     all(feature = "polygon_pos", feature = "eth_mainnet"),
+    not(any(
+        feature = "cdk_erigon",
+        feature = "eth_mainnet",
+        feature = "polygon_pos"
+    ))
 ))]
 compile_error!("Only a single network feature should be enabled at a time!");
 

zero_bin/prover/src/lib.rs

@@ -1,11 +1,12 @@
-#[cfg_attr(
-    not(any(feature = "polygon_pos", feature = "cdk_erigon")),
-    cfg(feature = "eth_mainnet")
-)]
 #[cfg(any(
     all(feature = "cdk_erigon", feature = "polygon_pos"),
     all(feature = "cdk_erigon", feature = "eth_mainnet"),
     all(feature = "polygon_pos", feature = "eth_mainnet"),
+    not(any(
+        feature = "cdk_erigon",
+        feature = "eth_mainnet",
+        feature = "polygon_pos"
+    ))
 ))]
 compile_error!("Only a single network feature should be enabled at a time!");
 

zero_bin/rpc/src/lib.rs

@@ -1,11 +1,12 @@
-#[cfg_attr(
-    not(any(feature = "polygon_pos", feature = "cdk_erigon")),
-    cfg(feature = "eth_mainnet")
-)]
 #[cfg(any(
     all(feature = "cdk_erigon", feature = "polygon_pos"),
     all(feature = "cdk_erigon", feature = "eth_mainnet"),
     all(feature = "polygon_pos", feature = "eth_mainnet"),
+    not(any(
+        feature = "cdk_erigon",
+        feature = "eth_mainnet",
+        feature = "polygon_pos"
+    ))
 ))]
 compile_error!("Only a single network feature should be enabled at a time!");
 

zero_bin/verifier/src/main.rs

@@ -1,11 +1,12 @@
-#[cfg_attr(
-    not(any(feature = "polygon_pos", feature = "cdk_erigon")),
-    cfg(feature = "eth_mainnet")
-)]
 #[cfg(any(
     all(feature = "cdk_erigon", feature = "polygon_pos"),
     all(feature = "cdk_erigon", feature = "eth_mainnet"),
     all(feature = "polygon_pos", feature = "eth_mainnet"),
+    not(any(
+        feature = "cdk_erigon",
+        feature = "eth_mainnet",
+        feature = "polygon_pos"
+    ))
 ))]
 compile_error!("Only a single network feature should be enabled at a time!");