1 files changed, 2 insertions, 0 deletions
diff --git a/src/checker_state.rs b/src/checker_state.rs
index 6a458d5..7587a5e 100644
--- a/src/checker_state.rs
+++ b/src/checker_state.rs
@@ -373,6 +373,8 @@ impl CheckerState {
                     signature: field_sig,
                 } in fields
                 {
+                    // let name = self.make_unique_name();
+                    // self.add_signature(&name, field_sig.clone(), rebind)?;
                     self.add_signature_field(field_name, field_sig, &signature, rebind)?;
                 }
             }