strength an assertion

charles-cooper · Sep 29, 2024 · df469c6 · df469c6
1 parent b8ae0d1
commit df469c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vyper/venom/analysis/equivalent_vars.py b/vyper/venom/analysis/equivalent_vars.py
@@ -19,11 +19,11 @@ def analyze(self):
 
             source = inst.operands[0]
 
+            assert var not in equivalence_set  # invariant
             if source in equivalence_set:
                 equivalence_set[var] = equivalence_set[source]
                 continue
             else:
-                assert var not in equivalence_set
                 equivalence_set[var] = bag
                 equivalence_set[source] = bag