refactor: Remove superfluous 'static bounds

tasm-lib/src/traits/accessor.rs

@@ -63,19 +63,19 @@ impl From<AccessorInitialState> for InitVmState {
     }
 }
 
-pub struct ShadowedAccessor<T: Accessor + 'static> {
+pub struct ShadowedAccessor<T: Accessor> {
     accessor: T,
 }
 
-impl<T: Accessor + 'static> ShadowedAccessor<T> {
+impl<T: Accessor> ShadowedAccessor<T> {
     pub fn new(accessor: T) -> Self {
         Self { accessor }
     }
 }
 
 impl<T> RustShadow for ShadowedAccessor<T>
 where
-    T: Accessor + 'static,
+    T: Accessor,
 {
     fn inner(&self) -> &dyn BasicSnippet {
         &self.accessor

tasm-lib/src/traits/algorithm.rs

@@ -84,19 +84,19 @@ impl From<AlgorithmInitialState> for InitVmState {
     }
 }
 
-pub struct ShadowedAlgorithm<T: Algorithm + 'static> {
+pub struct ShadowedAlgorithm<T: Algorithm> {
     algorithm: T,
 }
 
-impl<T: Algorithm + 'static> ShadowedAlgorithm<T> {
+impl<T: Algorithm> ShadowedAlgorithm<T> {
     pub fn new(algorithm: T) -> Self {
         Self { algorithm }
     }
 }
 
 impl<T> RustShadow for ShadowedAlgorithm<T>
 where
-    T: Algorithm + 'static,
+    T: Algorithm,
 {
     fn inner(&self) -> &dyn BasicSnippet {
         &self.algorithm

tasm-lib/src/traits/closure.rs

@@ -49,17 +49,17 @@ pub trait Closure: BasicSnippet {
     }
 }
 
-pub struct ShadowedClosure<C: Closure + 'static> {
+pub struct ShadowedClosure<C: Closure> {
     closure: C,
 }
 
-impl<C: Closure + 'static> ShadowedClosure<C> {
+impl<C: Closure> ShadowedClosure<C> {
     pub fn new(closure: C) -> Self {
         Self { closure }
     }
 }
 
-impl<C: Closure + 'static> RustShadow for ShadowedClosure<C> {
+impl<C: Closure> RustShadow for ShadowedClosure<C> {
     fn inner(&self) -> &dyn BasicSnippet {
         &self.closure
     }

tasm-lib/src/traits/deprecated_snippet.rs

@@ -256,7 +256,7 @@ pub(crate) mod tests {
         }
     }
 
-    impl<S: DeprecatedSnippet + Clone + 'static> RustShadow for DeprecatedSnippetWrapper<S> {
+    impl<S: DeprecatedSnippet + Clone> RustShadow for DeprecatedSnippetWrapper<S> {
         fn inner(&self) -> &dyn BasicSnippet {
             &self.deprecated_snippet
         }

tasm-lib/src/traits/function.rs

@@ -66,17 +66,17 @@ impl From<FunctionInitialState> for InitVmState {
     }
 }
 
-pub struct ShadowedFunction<F: Function + 'static> {
+pub struct ShadowedFunction<F: Function> {
     function: F,
 }
 
-impl<F: Function + 'static> ShadowedFunction<F> {
+impl<F: Function> ShadowedFunction<F> {
     pub fn new(function: F) -> Self {
         Self { function }
     }
 }
 
-impl<P: Function + 'static> ShadowedFunction<P> {
+impl<P: Function> ShadowedFunction<P> {
     fn test_initial_state(&self, state: FunctionInitialState) {
         let FunctionInitialState { stack, memory } = state;
 
@@ -99,7 +99,7 @@ impl<P: Function + 'static> ShadowedFunction<P> {
 
 impl<F> RustShadow for ShadowedFunction<F>
 where
-    F: Function + 'static,
+    F: Function,
 {
     fn inner(&self) -> &dyn BasicSnippet {
         &self.function

tasm-lib/src/traits/mem_preserver.rs

@@ -68,19 +68,19 @@ impl From<MemPreserverInitialState> for InitVmState {
     }
 }
 
-pub struct ShadowedMemPreserver<T: MemPreserver + 'static> {
+pub struct ShadowedMemPreserver<T: MemPreserver> {
     mem_preserver: T,
 }
 
-impl<T: MemPreserver + 'static> ShadowedMemPreserver<T> {
+impl<T: MemPreserver> ShadowedMemPreserver<T> {
     pub fn new(mem_preserver: T) -> Self {
         Self { mem_preserver }
     }
 }
 
 impl<T> RustShadow for ShadowedMemPreserver<T>
 where
-    T: MemPreserver + 'static,
+    T: MemPreserver,
 {
     fn inner(&self) -> &dyn BasicSnippet {
         &self.mem_preserver

tasm-lib/src/traits/procedure.rs

@@ -73,17 +73,17 @@ impl From<ProcedureInitialState> for InitVmState {
     }
 }
 
-pub struct ShadowedProcedure<P: Procedure + 'static> {
+pub struct ShadowedProcedure<P: Procedure> {
     procedure: P,
 }
 
-impl<P: Procedure + 'static> ShadowedProcedure<P> {
+impl<P: Procedure> ShadowedProcedure<P> {
     pub fn new(procedure: P) -> Self {
         Self { procedure }
     }
 }
 
-impl<P: Procedure + 'static> RustShadow for ShadowedProcedure<P> {
+impl<P: Procedure> RustShadow for ShadowedProcedure<P> {
     fn inner(&self) -> &dyn BasicSnippet {
         &self.procedure
     }
@@ -150,7 +150,7 @@ impl<P: Procedure + 'static> RustShadow for ShadowedProcedure<P> {
     }
 }
 
-impl<P: Procedure + 'static> ShadowedProcedure<P> {
+impl<P: Procedure> ShadowedProcedure<P> {
     fn test_initial_state(&self, state: ProcedureInitialState) {
         test_rust_equivalence_given_complete_state(
             self,

tasm-lib/src/traits/read_only_algorithm.rs

@@ -64,19 +64,19 @@ impl From<ReadOnlyAlgorithmInitialState> for InitVmState {
     }
 }
 
-pub struct ShadowedReadOnlyAlgorithm<T: ReadOnlyAlgorithm + 'static> {
+pub struct ShadowedReadOnlyAlgorithm<T: ReadOnlyAlgorithm> {
     algorithm: T,
 }
 
-impl<T: ReadOnlyAlgorithm + 'static> ShadowedReadOnlyAlgorithm<T> {
+impl<T: ReadOnlyAlgorithm> ShadowedReadOnlyAlgorithm<T> {
     pub fn new(algorithm: T) -> Self {
         Self { algorithm }
     }
 }
 
 impl<T> RustShadow for ShadowedReadOnlyAlgorithm<T>
 where
-    T: ReadOnlyAlgorithm + 'static,
+    T: ReadOnlyAlgorithm,
 {
     fn inner(&self) -> &dyn BasicSnippet {
         &self.algorithm

tasm-lib/src/traits/rust_shadow.rs

@@ -2,8 +2,7 @@ use std::collections::HashMap;
 
 use triton_vm::prelude::*;
 
-use super::basic_snippet::BasicSnippet;
-use crate::prelude::Tip5;
+use crate::prelude::*;
 
 pub trait RustShadow {
     fn inner(&self) -> &dyn BasicSnippet;