From 0a81a8e5e6c32880c1d932d2647d972adb005de6 Mon Sep 17 00:00:00 2001
From: danielmasny <daniel.masny@rub.de>
Date: Mon, 26 Feb 2024 15:00:30 -0800
Subject: [PATCH] add debug trait bound

---
 .../src/protocol/ipa_prf/malicious_security/lagrange.rs  | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/ipa-core/src/protocol/ipa_prf/malicious_security/lagrange.rs b/ipa-core/src/protocol/ipa_prf/malicious_security/lagrange.rs
index 66e92e782..04ddeae4b 100644
--- a/ipa-core/src/protocol/ipa_prf/malicious_security/lagrange.rs
+++ b/ipa-core/src/protocol/ipa_prf/malicious_security/lagrange.rs
@@ -1,3 +1,5 @@
+use std::fmt::Debug;
+
 use generic_array::{sequence::GenericSequence, ArrayLength, GenericArray};
 use typenum::{Unsigned, U1};
 
@@ -22,6 +24,7 @@ pub struct CanonicalLagrangeDenominator<F: Field, N: ArrayLength> {
 impl<F, N> CanonicalLagrangeDenominator<F, N>
 where
     F: PrimeField + TryFrom<u128>,
+    <F as TryFrom<u128>>::Error: Debug,
     N: ArrayLength,
 {
     /// generates canonical Lagrange denominators
@@ -71,6 +74,7 @@ pub struct LagrangeTable<F: Field, N: ArrayLength, M: ArrayLength> {
 impl<F, N> LagrangeTable<F, N, U1>
 where
     F: Field + TryFrom<u128>,
+    <F as TryFrom<u128>>::Error: Debug,
     N: ArrayLength,
 {
     /// generates a `CanonicalLagrangeTable` from `CanoncialLagrangeDenominators` for a single output point
@@ -123,6 +127,7 @@ where
     fn compute_table_row(x_output: &F, table_row: &mut GenericArray<F, N>)
     where
         F: Field + TryFrom<u128>,
+        <F as TryFrom<u128>>::Error: Debug,
         N: ArrayLength,
     {
         for (entry, i) in table_row.iter_mut().zip(0u64..) {
@@ -136,6 +141,7 @@ where
 impl<F, N, M> From<CanonicalLagrangeDenominator<F, N>> for LagrangeTable<F, N, M>
 where
     F: Field + TryFrom<u128>,
+    <F as TryFrom<u128>>::Error: Debug,
     N: ArrayLength,
     M: ArrayLength,
 {
@@ -163,6 +169,8 @@ where
 
 #[cfg(all(test, unit_test))]
 mod test {
+    use std::fmt::Debug;
+
     use generic_array::{sequence::GenericSequence, ArrayLength, GenericArray};
     use proptest::{prelude::*, proptest};
     use typenum::{U1, U32, U7, U8};
@@ -210,6 +218,7 @@ mod test {
     impl<F, N> From<MonomialFormPolynomial<F, N>> for Polynomial<F, N>
     where
         F: Field + TryFrom<u128>,
+        <F as TryFrom<u128>>::Error: Debug,
         N: ArrayLength,
     {
         fn from(value: MonomialFormPolynomial<F, N>) -> Self {