Getting closer

Author: JoshOrndorff

tuxedo-core/src/constraint_checker.rs

@@ -33,7 +33,7 @@
 
 use sp_core::H256;
 use sp_inherents::{CheckInherentsResult, InherentData};
-use sp_std::fmt::Debug;
+use sp_std::{fmt::Debug, vec::Vec};
 
 use crate::{dynamic_typing::DynamicallyTypedData, types::Transaction, Verifier};
 use parity_scale_codec::{Decode, Encode};

tuxedo-core/src/executive.rs

@@ -479,7 +479,7 @@ where
             .take_while(|tx| tx.checker.is_inherent())
             .collect();
 
-        C::check_inherents(&data, inherents, &mut result);
+        C::check_inherents::<V>(&data, inherents, &mut result);
 
         result
     }

tuxedo-template-runtime/src/genesis.rs

@@ -126,7 +126,7 @@ mod tests {
                 },
             };
 
-            let inherents_len = OuterConstraintChecker::genesis_transactions().len();
+            let inherents_len = OuterConstraintChecker::genesis_transactions::<OuterVerifier>().len();
 
             let tx = default_runtime_genesis_config()
                 .get_transaction(inherents_len)
@@ -170,7 +170,7 @@ mod tests {
                 },
             };
 
-            let inherents_len = OuterConstraintChecker::genesis_transactions().len();
+            let inherents_len = OuterConstraintChecker::genesis_transactions::<OuterVerifier>().len();
 
             let tx = default_runtime_genesis_config()
                 .get_transaction(1 + inherents_len)