Error in the "Control Flow" section of Noir documentation

[TAdev0]

Aim

While starting to learn how to use Noir language and Nargo, i noticed there is an error the "Control Flow" section of Noir documentation :

https://noir-lang.org/language_concepts/control_flow

The first ''Loop'' section says :
The index for loops is of type u64.

After a few tests, i confirm the index of a loop is of type field.

Expected Behavior

The documentation should be modified to replace u64 by field .

Bug

This compiles well :

    for i in 0..8 {
        for j in 0..8 {                   
             if (i as u32) + (j as u32) < 8) {
             ...
             }
        }
    }

whereas this will throw an error :

    for i in 0..8 {
        for j in 0..8 {                   
             if (i + j < 8) {
             ...
             }
        }
    }

AssertionError: error: Comparisons are invalid on Field types. Try casting the operands to a sized integer type first

Installation Method

Noirup

Nargo Version

nargo 0.15.0 , nargo 0.17.0, nargo 0.10.5

Would you like to submit a PR for this Issue?

Yes

[TAdev0]

@kevaundray should i propose a PR for this ? i'm willing to contribute to Noir ecosystem but i didn't get any answer for a month. Thank you!