{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"this.arena.alloc_from_iter([precond,"}]}
                    this.arena.alloc_from_iter([precond, postcond].into_iter().flatten()),
                    body.span,
                    Some(body),