From 3fafe975e0290a85f83e3cc5e900503bbf6215da Mon Sep 17 00:00:00 2001
From: Marijn Suijten <marijn@traverseresearch.nl>
Date: Fri, 1 Jul 2022 22:09:22 +0200
Subject: [PATCH] generator: Fix `clippy::is_digit_ascii_radix` (#637)

---
 generator/src/lib.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generator/src/lib.rs b/generator/src/lib.rs
index b5caf11..edbf586 100644
--- a/generator/src/lib.rs
+++ b/generator/src/lib.rs
@@ -1219,7 +1219,7 @@ pub fn variant_ident(enum_name: &str, variant_name: &str) -> Ident {
     let is_digit = new_variant_name
         .chars()
         .next()
-        .map(|c| c.is_digit(10))
+        .map(|c| c.is_ascii_digit())
         .unwrap_or(false);
     if is_digit {
         format_ident!("TYPE_{}", new_variant_name)