chore[ir]: sanity check types in for range codegen (#3968)

vyperlang · May 15, 2024 · 626cdf9 · 626cdf9
1 parent 41a3e08
commit 626cdf9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/vyper/codegen/stmt.py b/vyper/codegen/stmt.py
@@ -196,6 +196,9 @@ def _parse_For_range(self):
                 s.arg: Expr.parse_value_expr(s.value, self.context) for s in range_call.keywords
             }
 
+        # sanity check that the following `end - start` is a valid operation
+        assert start.typ == end.typ == target_type
+
         if "bound" in kwargs:
             with end.cache_when_complex("end") as (b1, end):
                 # note: the check for rounds<=rounds_bound happens in asm