{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":")"}]}
    ) -> Const<'tcx> {
        bound_const: ty::BoundConst,
        Const::new(tcx, ty::ConstKind::Bound(debruijn, bound_const))