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