Optimize generics declaration

Sovereign-Labs · Aug 14, 2023 · eb9025b · eb9025b
1 parent f2e197d
commit eb9025b
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 6 deletions.
diff --git a/examples/demo-stf/src/runtime.rs b/examples/demo-stf/src/runtime.rs
@@ -107,7 +107,10 @@ impl<C: Context, Cond: ValidityCondition> SlotHooks<Cond> for Runtime<C> {
     }
 }
 
-impl<C: Context, Cond: ValidityCondition, B: BlobReaderTrait>
-    sov_modules_stf_template::Runtime<C, Cond, B> for Runtime<C>
+impl<C, Cond, B> sov_modules_stf_template::Runtime<C, Cond, B> for Runtime<C>
+where
+    C: Context,
+    Cond: ValidityCondition,
+    B: BlobReaderTrait,
 {
 }
diff --git a/module-system/sov-modules-stf-template/src/app_template.rs b/module-system/sov-modules-stf-template/src/app_template.rs
@@ -69,9 +69,11 @@ impl<A: AddressTrait> From<ApplyBatchError<A>> for BatchReceipt<SequencerOutcome
     }
 }
 
-impl<C: Context, Vm, Cond: ValidityCondition, RT: Runtime<C, Cond, B>, B: BlobReaderTrait>
-    AppTemplate<C, Cond, Vm, RT, B>
+impl<C, Vm, Cond, RT, B> AppTemplate<C, Cond, Vm, RT, B>
 where
+    C: Context,
+    Cond: ValidityCondition,
+    B: BlobReaderTrait,
     RT: Runtime<C, Cond, B>,
 {
     /// [`AppTemplate`] constructor.

diff --git a/module-system/sov-modules-stf-template/src/lib.rs b/module-system/sov-modules-stf-template/src/lib.rs
@@ -64,9 +64,12 @@ pub enum SlashingReason {
     InvalidTransactionEncoding,
 }
 
-impl<C: Context, RT, Vm: Zkvm, Cond: ValidityCondition, B: BlobReaderTrait>
-    AppTemplate<C, Cond, Vm, RT, B>
+impl<C, RT, Vm, Cond, B> AppTemplate<C, Cond, Vm, RT, B>
 where
+    C: Context,
+    Vm: Zkvm,
+    Cond: ValidityCondition,
+    B: BlobReaderTrait,
     RT: Runtime<C, Cond, B>,
 {
     fn begin_slot(