{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"terminator.kind"}]}
            terminator.kind = TerminatorKind::Goto { target: *destination_block };
            ));
        }