{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"def_path_str:"}]}
            def_path_str: ccx.tcx.def_path_str_with_args(callee, args),
            def_descr: ccx.tcx.def_descr(callee),
            kind: ccx.const_kind(),