{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"),"}]}
            ),
                ty::BoundConst { var: ty::BoundVar::from_u32(index) },
            Some(rbv::ResolvedArg::Error(guar)) => ty::Const::new_error(tcx, guar),