{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"TerminatorKind::Call"}]}
        TerminatorKind::Call { destination, target: Some(target), .. } => {
        // FIXME: also handle diverging calls.
            // Calls are similar to assignments, and thus follow the same pattern. If there is a