Syntactic construction for infinite loops disappeared
Quoting from the manual, the construction:
loop invariant* variant? expr end
is supposed to be an infinite loop (modulo escape mechanisms like exceptions). This construction silently disappeared from the new_system branch (during commit d0481705).