From 9ba655828cbfa251d7f1eaeb7010a205038f55e8 Mon Sep 17 00:00:00 2001
From: tersec <tersec@users.noreply.github.com>
Date: Sun, 10 Sep 2023 02:50:37 +0000
Subject: [PATCH] avoid pointless rangeerror checks each iteration

---
 beacon_chain/spec/datatypes/base.nim | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/beacon_chain/spec/datatypes/base.nim b/beacon_chain/spec/datatypes/base.nim
index fd204d35c5..46786670ab 100644
--- a/beacon_chain/spec/datatypes/base.nim
+++ b/beacon_chain/spec/datatypes/base.nim
@@ -669,12 +669,14 @@ template `[]`*[T](a: seq[T], b: ValidatorIndex): auto = # Also var seq (!)
 
 iterator vindices*(
     a: HashList[Validator, Limit VALIDATOR_REGISTRY_LIMIT]): ValidatorIndex =
-  for i in 0..<a.len():
+  static: doAssert distinctBase(ValidatorIndex) is uint32
+  for i in 0..<a.len.uint32:
     yield i.ValidatorIndex
 
 iterator vindices*(
     a: List[Validator, Limit VALIDATOR_REGISTRY_LIMIT]): ValidatorIndex =
-  for i in 0..<a.len():
+  static: doAssert distinctBase(ValidatorIndex) is uint32
+  for i in 0..<a.len.uint32:
     yield i.ValidatorIndex
 
 template `==`*(x, y: JustificationBits): bool =