This commit is contained in:
Judah Caruso 2025-05-27 00:27:30 -06:00
parent 0e32e7f153
commit 3feb2f98c9

View file

@ -28,7 +28,7 @@ check_bounds :: ($$index: $T, $$count: T, loc := #caller_location) #expand {
} }
} }
else { else {
basic.assert(index >= 0 && index < count, MESSAGE, index, count -1, loc = loc); basic.assert(index >= 0 && index < count, MESSAGE, index, count - 1, loc = loc);
} }
} }