Remove useless type param S

Author: Dentosal

fuel-vm/src/interpreter/blockchain.rs

@@ -97,7 +97,7 @@ where
     M: Memory,
     Tx: ExecutableTransaction,
     S: InterpreterStorage,
-    V: Verifier<S>,
+    V: Verifier,
 {
     /// Loads contract ID pointed by `contract_id_addr`, and then for that contract,
     /// copies `length_unpadded` bytes from it starting from offset `contract_offset` into
@@ -537,7 +537,7 @@ impl<S, V> LoadContractCodeCtx<'_, S, V> {
     ) -> IoResult<(), S::DataError>
     where
         S: InterpreterStorage,
-        V: Verifier<S>,
+        V: Verifier,
     {
         let ssp = *self.ssp;
         let sp = *self.sp;
@@ -895,7 +895,7 @@ impl<S, V> CodeCopyCtx<'_, S, V> {
     ) -> IoResult<(), S::DataError>
     where
         S: InterpreterStorage,
-        V: Verifier<S>,
+        V: Verifier,
     {
         let contract_id = ContractId::from(self.memory.read_bytes(contract_id_addr)?);
 
@@ -995,7 +995,7 @@ impl<S, V> CodeRootCtx<'_, S, V> {
     pub(crate) fn code_root(self, a: Word, b: Word) -> IoResult<(), S::DataError>
     where
         S: InterpreterStorage,
-        V: Verifier<S>,
+        V: Verifier,
     {
         self.memory.write_noownerchecks(a, Bytes32::LEN)?;
 
@@ -1049,7 +1049,7 @@ impl<S, V> CodeSizeCtx<'_, S, V> {
     where
         S: StorageSize<ContractsRawCode>,
         S: InterpreterStorage,
-        V: Verifier<S>,
+        V: Verifier,
     {
         let contract_id = ContractId::new(self.memory.read_bytes(b)?);
 

fuel-vm/src/interpreter/contract.rs

@@ -62,7 +62,7 @@ where
     M: Memory,
     S: InterpreterStorage,
     Tx: ExecutableTransaction,
-    V: Verifier<S>,
+    V: Verifier,
 {
     pub(crate) fn contract_balance(
         &mut self,
@@ -194,7 +194,7 @@ impl<S, V> ContractBalanceCtx<'_, S, V> {
     where
         S: ContractsAssetsStorage,
         S: InterpreterStorage,
-        V: Verifier<S>,
+        V: Verifier,
     {
         let asset_id = AssetId::new(self.memory.read_bytes(b)?);
         let contract_id = ContractId::new(self.memory.read_bytes(c)?);
@@ -248,7 +248,7 @@ impl<S, Tx, V> TransferCtx<'_, S, Tx, V> {
         Tx: ExecutableTransaction,
         S: ContractsAssetsStorage,
         S: InterpreterStorage,
-        V: Verifier<S>,
+        V: Verifier,
     {
         let amount = transfer_amount;
         let destination =
@@ -326,7 +326,7 @@ impl<S, Tx, V> TransferCtx<'_, S, Tx, V> {
         Tx: ExecutableTransaction,
         S: ContractsAssetsStorage,
         S: InterpreterStorage,
-        V: Verifier<S>,
+        V: Verifier,
     {
         let out_idx =
             convert::to_usize(output_index).ok_or(PanicReason::OutputNotFound)?;

fuel-vm/src/interpreter/executors/debug.rs

@@ -17,7 +17,7 @@ where
     S: InterpreterStorage,
     Tx: ExecutableTransaction,
     Ecal: EcalHandler,
-    V: Verifier<S>,
+    V: Verifier,
 {
     /// Continue the execution from a previously interrupted program flow.
     pub fn resume(&mut self) -> Result<ProgramState, InterpreterError<S::DataError>> {

fuel-vm/src/interpreter/executors/instruction.rs

@@ -29,7 +29,7 @@ where
     S: InterpreterStorage,
     Tx: ExecutableTransaction,
     Ecal: EcalHandler,
-    V: Verifier<S>,
+    V: Verifier,
 {
     /// Execute the current instruction located in `$m[$pc]`.
     pub fn execute(&mut self) -> Result<ExecuteState, InterpreterError<S::DataError>> {
@@ -108,7 +108,7 @@ where
     S: InterpreterStorage,
     Tx: ExecutableTransaction,
     Ecal: EcalHandler,
-    V: Verifier<S>,
+    V: Verifier,
 {
     fn execute(
         self,
@@ -122,7 +122,7 @@ where
     S: InterpreterStorage,
     Tx: ExecutableTransaction,
     Ecal: EcalHandler,
-    V: Verifier<S>,
+    V: Verifier,
 {
     fn execute(
         self,

fuel-vm/src/interpreter/executors/main.rs

@@ -839,7 +839,7 @@ where
     S: InterpreterStorage,
     Tx: ExecutableTransaction,
     Ecal: EcalHandler,
-    V: Verifier<S>,
+    V: Verifier,
 {
     fn update_transaction_outputs(
         &mut self,
@@ -1066,7 +1066,7 @@ where
     Tx: ExecutableTransaction,
     <Tx as IntoChecked>::Metadata: CheckedMetadata,
     Ecal: EcalHandler,
-    V: Verifier<S>,
+    V: Verifier,
 {
     /// Initialize a pre-allocated instance of [`Interpreter`] with the provided
     /// transaction and execute it. The result will be bound to the lifetime