{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"destination:"}]}
        destination: destination_local,
        new_blocks: caller_body.basic_blocks.next_index()..,
        callsite_scope: caller_body.source_scopes[callsite.source_info.scope].clone(),