fn main() { mut i := 4 // check branching to a later loop L1: for { i++ for { if i < 7 { continue L2 } else { break L2 } } } // check branching to an earlier loop L2: for e in [1, 2, 3, 4] { i = e for { if i < 3 { continue L1 } else { break L1 } } } // check nested loops (not supported ATM) L3: for ; true; i++ { L4: for { if i < 17 { continue L3 } else { break L3 } } } }