diff options
| author | tslil <tslil@posteo.de> | 2026-04-30 10:52:07 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-30 15:53:57 +0100 |
| commit | 617f3931de77bd795a97331e7146eb10266af7e9 (patch) | |
| tree | d6a3e83f9b79d932e6a21e26cbc4952840db7c46 /src/checker_state.rs | |
| parent | ece72d34809af0060d62e1841b1a76478db5a44a (diff) | |
lost track of what's going on
Diffstat (limited to 'src/checker_state.rs')
| -rw-r--r-- | src/checker_state.rs | 2 |
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)?; } } |