Remove unneeded Debug trait requirement from BasicSnippet and DeprecatedSnippet

tasm-lib/src/list/higher_order/all.rs

@@ -32,7 +32,6 @@ use super::inner_function::InnerFunction;
 
 /// Runs a predicate over all elements of a list and returns true only if all elements satisfy the
 /// predicate.
-#[derive(Debug)]
 pub struct All {
     pub f: InnerFunction,
 }

tasm-lib/src/list/higher_order/filter.rs

@@ -28,7 +28,6 @@ use super::inner_function::InnerFunction;
 /// Filters a given list for elements that satisfy a predicate. A new
 /// list is created, containing only those elements that satisfy the
 /// predicate. The predicate must be given as an InnerFunction.
-#[derive(Debug)]
 pub struct Filter {
     pub f: InnerFunction,
 }

tasm-lib/src/list/higher_order/inner_function.rs

@@ -80,7 +80,6 @@ impl RawCode {
     }
 }
 
-#[derive(Debug)]
 pub enum InnerFunction {
     RawCode(RawCode),
     DeprecatedSnippet(Box<dyn DeprecatedSnippet>),

tasm-lib/src/list/higher_order/map.rs

@@ -34,7 +34,6 @@ currently only works with *one* input element. Use a tuple data type to circumve
 
 /// Applies a given function to every element of a list, and collects the new elements
 /// into a new list.
-#[derive(Debug)]
 pub struct Map {
     pub f: InnerFunction,
 }

tasm-lib/src/traits/basic_snippet.rs

@@ -1,13 +1,12 @@
 use num_traits::Zero;
-use std::fmt::Debug;
 use triton_vm::op_stack::NUM_OP_STACK_REGISTERS;
 use triton_vm::prelude::*;
 
 use crate::data_type::DataType;
 use crate::library::Library;
 use crate::VmHasher;
 
-pub trait BasicSnippet: Debug {
+pub trait BasicSnippet {
     fn inputs(&self) -> Vec<(DataType, String)>;
     fn outputs(&self) -> Vec<(DataType, String)>;
     fn entrypoint(&self) -> String;

tasm-lib/src/traits/deprecated_snippet.rs

@@ -1,6 +1,5 @@
 use std::cell::RefCell;
 use std::collections::HashMap;
-use std::fmt::Debug;
 use std::rc::Rc;
 
 use anyhow::Result;
@@ -24,7 +23,7 @@ use crate::DIGEST_LENGTH;
 use super::basic_snippet::BasicSnippet;
 use super::rust_shadow::RustShadow;
 
-pub trait DeprecatedSnippet: Debug {
+pub trait DeprecatedSnippet {
     /// The name of a Snippet
     ///
     /// This is used as a unique identifier, e.g. when generating labels.