{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"});"}]}
        });
            kind: TerminatorKind::Goto { target: slice_block },
        self.elaborator.patch().new_block(delegate_block)