{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"//"}]}
        // so we need to record those as `killed` as well.
        // A `Call` terminator's return value can be a local which has borrows,
        if let TerminatorKind::Call { destination, .. } = terminator.kind {