{"ast_node_type":"variable","tokens":[{"end":90,"kind":"keyword","start":0,"text":"let"}]}
    let TerminatorKind::Call { args, destination, .. } = &terminator.kind else { bug!() };
    let terminator = caller_body[callsite.block].terminator.as_ref().unwrap();
    let destination_ty = destination.ty(&caller_body.local_decls, tcx).ty;