{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                ty::Const::new_param(tcx, ty::ParamConst::new(index, name))
            Some(rbv::ResolvedArg::LateBound(debruijn, index, _)) => ty::Const::new_bound(