{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"s.push_str(&encode_ty(tcx,"}]}
                s.push_str(&encode_ty(tcx, ty, dict, options));
            for ty in tys.iter() {
            }