From 0f7efe7518b925d9688dad4c6f6e87f84015e2c1 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Thu, 30 Apr 2026 16:53:14 +0100
Subject: wip case for instances

---
 src/checker_state.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/checker_state.rs')

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,
 }
-- 
cgit v1.3.1