Closed dark64 closed 1 year ago
Loop bounds are not propagated correctly
import "utils/casts/field_to_u32"; def main() { u32 bound = field_to_u32(2); for u32 i in 0..bound { log("{}", i); } }
Error: Expected loop bounds to be constant, found 0..bound˙
Expected loop bounds to be constant, found 0..bound˙
Description
Loop bounds are not propagated correctly
Environment
Steps to Reproduce
Error:
Expected loop bounds to be constant, found 0..bound˙