{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"index:"}]}
            index: next_index(),
        own_params.push(ty::GenericParamDef {
            name: rustc_span::sym::const_ty_placeholder,