generate unique names for structs/traits

crates/formality-rust/src/fuzz.rs

@@ -25,15 +25,13 @@ struct FuzzItems {
 /// Its name uses a `String` so that the fuzzer can generate arbitrary names.
 #[derive(bolero::TypeGenerator)]
 struct FuzzAdt {
-    name: String,
     arity: Vec<ParameterKind>,
 }
 
 /// A trait that will be declared along with its parameter kinds.
 /// Its name uses a `String` so that the fuzzer can generate arbitrary names.
 #[derive(bolero::TypeGenerator)]
 struct FuzzTrait {
-    name: String,
     arity: Vec<ParameterKind>,
 }
 
@@ -54,12 +52,14 @@ impl bolero::TypeGenerator for Program {
             adt_kinds: items
                 .adts
                 .into_iter()
-                .map(|f| (AdtId::new(&f.name), f.arity))
+                .zip(0..)
+                .map(|(f, idx)| (AdtId::new(&format!("Adt{}", idx)), f.arity))
                 .collect(),
             trait_kinds: items
                 .traits
                 .into_iter()
-                .map(|f| (TraitId::new(&f.name), f.arity))
+                .zip(0..)
+                .map(|(f, idx)| (TraitId::new(&format!("Trait{}", idx)), f.arity))
                 .collect(),
             associated_items: Map::default(),
         }