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 c9be445..a0fe6b1 100644 --- a/src/checker_state.rs +++ b/src/checker_state.rs @@ -115,6 +115,7 @@ pub struct CheckerState { record_fields: HashMap<String, Field<Set>>, variant_fields: HashMap<String, Field<Set>>, signature_fields: HashMap<String, Field<Signature>>, + // TODO: do we need to make these strictly monotonic somewhere somehow? binder_element: usize, unique_name: usize, } |