pub fn const_expr<T: ?Sized + Reencode>( reencoder: &mut T, const_expr: ConstExpr<'_>, ) -> Result<ConstExpr, Error<T::Error>>