{"ast_node_type":"other","tokens":[{"end":12,"kind":"keyword","start":0,"text":"}"}]}
    } else {
        push_generic_params_internal(tcx, trait_ref.args, &mut vtable_name, &mut visited);
        vtable_name.push('_');