Control flow with types attached

if is an expression — it can return a value. Ranges: 1..10 (exclusive end), 1..=10 (inclusive).

Quirk: loop { } is an infinite loop with break to exit. Rust has opinions about your loop labels too ('outer:).