LANGUAGE · VERIFIED

Control Flow

if / else

if x > 5 {
    return 1;
} else {
    return 0;
}

loop

loop {
    if x > 10 {
        break;
    }
}

while

while x < 10 {
    x = x + 1;
}

break and continue

Both are verified inside loop contexts. Negative tests also verify that they are rejected outside loops.

Tail expressions

fn add(a: f64, b: f64) -> f64 {
    a + b
}