{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"call_span:"}]}
        call_span: Span,
        callee_args: ty::GenericArgsRef<'tcx>,
    ) -> Option<ConstConditionsHold> {