if (x)
  foreach (y in ys)
    z(y);
else
  someElse();

foreach (y in ys)
  z(y);
else
  someElse();

foreach (y in ys)
  z(y);
loop else
  someElse();

VD>foreach (y in ys)
VD>  z(y);
VD>loop else
VD>  someElse();
VD>

foreach (y in ys)
  z(y);
fiasco
  someElse();

VD>foreach (y in ys)
VD>  z(y);
VD>loop else
VD>  someElse();
VD>

foreach (y in ys)
  z(y);
otherwise
  someElse();

VD>Х.з. когда создастся, то сам увидишь .

__>>У меня никак for/while/foreach не удается вписать в блок require.

class A
{
  public F(i : int) : int
    requires ()
  {
    i
  }
}

Error: expected bool, got void in matched value: the types void and bool are not compatible [simple unify]

class A
{
  public F(i : int) : int
    requires { i > 1 }
  {
    i
  }
}

Error: parse error near '{...}' group: expecting type declaration

  macro @while (cond, body, otherwiseBody)
  syntax ("while", "(", cond, ")", body, Optional("otherwise", otherwiseBody))
  {
    def otherwiseBody = otherwiseBody ?? <[ ]>;
    
    <[ 
      ($("_N_break" : global) : {
        def loop () : void
        {
          when ($cond)
          {
            ($("_N_continue" : global) : {
              $body
            }) : void;
            loop ()
          }
        }
        
        loop ();
        
        $otherwiseBody
      }) : void
    ]>
  }

macro FFF(c)
  {
    <[
      while (false) {}
    ]>
  }

Error: parse error near '{...}' group: unexpected token after expression in sequence (you forget a closing bracket?).