A few clippy fixes

charon/macros/src/enum_helpers.rs

@@ -19,7 +19,7 @@ fn to_snake_case(s: &str) -> String {
     // "I32" -> "I3_2"
     let mut last_is_lowercase = false;
 
-    for (_, c) in s.chars().enumerate() {
+    for c in s.chars() {
         if c.is_uppercase() {
             if last_is_lowercase {
                 snake_case.push('_');

charon/macros/src/lib.rs

@@ -26,6 +26,7 @@ pub fn derive_variant_index_arity(item: TokenStream) -> TokenStream {
 }
 
 /// Macro `EnumIsA`
+///
 /// Derives functions of the form `fn is_{variant_name}(&self) -> bool` returning true
 /// if an enumeration instance is of some variant. For lists, it would generate
 /// `is_cons` and `is_nil`.
@@ -40,6 +41,7 @@ pub fn derive_enum_is_a(item: TokenStream) -> TokenStream {
 }
 
 /// Macro `EnumAsGetters`
+///
 /// Derives functions of the form `fn as_{variant_name}(&self) -> ...` checking
 /// that an enumeration instance is of the proper variant and returning shared
 /// borrows to its fields.
@@ -59,6 +61,7 @@ pub fn derive_enum_as_getters(item: TokenStream) -> TokenStream {
 }
 
 /// Macro `EnumToGetters`
+///
 /// Derives functions of the form `fn to_{variant_name}(self) -> ...` checking
 /// that an enumeration instance is of the proper variant and returning its
 /// fields (while consuming the instance).