{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"//"}]}
        // FIXME: also handle diverging calls.
    match &terminator.kind {
        TerminatorKind::Call { destination, target: Some(target), .. } => {