diff --git a/noir-projects/noir-protocol-circuits/crates/types/src/traits.nr b/noir-projects/noir-protocol-circuits/crates/types/src/traits.nr index 7fd7f04c60d2..aa130f2989cd 100644 --- a/noir-projects/noir-protocol-circuits/crates/types/src/traits.nr +++ b/noir-projects/noir-protocol-circuits/crates/types/src/traits.nr @@ -139,28 +139,28 @@ where // pub fn is_empty(item: T) -> bool // where -// T: Empty + Eq, +// T: Empty, // { // item.eq(T::empty()) // } // pub fn is_empty_array(array: [T; N]) -> bool // where -// T: Empty + Eq, +// T: Empty, // { // array.all(|elem| is_empty(elem)) // } // pub fn assert_empty(item: T) -> () // where -// T: Empty + Eq, +// T: Empty, // { // assert(item.eq(T::empty())) // } // pub fn assert_empty_array(array: [T; N]) -> () // where -// T: Empty + Eq, +// T: Empty, // { // // A cheaper option than `is_empty_array` for if you don't need to gracefully // // handle a bool result.