diff options
Diffstat (limited to 'src/checker_state.rs')
| -rw-r--r-- | src/checker_state.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/checker_state.rs b/src/checker_state.rs index 7587a5e..c9be445 100644 --- a/src/checker_state.rs +++ b/src/checker_state.rs @@ -373,6 +373,7 @@ impl CheckerState { signature: field_sig, } in fields { + // TODO: are we supposed to recurse? // let name = self.make_unique_name(); // self.add_signature(&name, field_sig.clone(), rebind)?; self.add_signature_field(field_name, field_sig, &signature, rebind)?; |