{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"s.push_str(&encode_const(tcx,"}]}
                    s.push_str(&encode_const(tcx, c, ct_ty, dict, options));
                        tcx.type_of(def_generics.param_at(n, tcx).def_id).instantiate_identity();
                }