Clean up some trait bounds

Author: JoshOrndorff

tuxedo-parachain-core/src/lib.rs

@@ -58,6 +58,7 @@ use cumulus_primitives_parachain_inherent::ParachainInherentData;
 use tuxedo_core::{
     dynamic_typing::UtxoData,
     support_macros::{CloneNoBound, DebugNoBound},
+    ConstraintChecker,
 };
 
 /// A transient storage key that will hold the block number of the relay chain parent
@@ -162,6 +163,6 @@ impl From<ParachainInherentData> for ParachainInherentDataUtxo {
 /// A way for the relay chain validators to determine whether a particular parachain
 /// extrinsic is the parachain inherent and whether the parachain inherent data can
 /// be extracted from it.
-pub trait ParachainConstraintChecker {
+pub trait ParachainConstraintChecker: ConstraintChecker {
     fn is_parachain(&self) -> bool;
 }

tuxedo-parachain-core/src/validate_block.rs

@@ -75,12 +75,9 @@ where
     // Kind of feels like I'm repeating all the requirements that
     // should have been taken care of by the type aliases.
     V: Verifier,
-    C: ConstraintChecker + ParachainConstraintChecker,
+    C: ParachainConstraintChecker,
     Block<V, C>: BlockT<Extrinsic = Transaction<V, C>, Hash = sp_core::H256>,
     Transaction<V, C>: Extrinsic,
-
-    // Why does this one have to be explicit?
-    ParachainBlockData<Block<V, C>>: parity_scale_codec::Decode,
 {
     sp_runtime::runtime_logger::RuntimeLogger::init();
     log::info!(target: "tuxvb", "🕵️🕵️🕵️🕵️Entering validate_block implementation");