Generic enums with concrete type aliases

Author: nightscape

frb_codegen/src/library/codegen/generator/api_dart/spec_generator/class/ty/enumeration.rs

@@ -11,6 +11,11 @@ use crate::library::codegen::generator::api_dart::spec_generator::base::*;
 impl ApiDartGeneratorClassTrait for EnumRefApiDartGenerator<'_> {
     fn generate_class(&self) -> Option<ApiDartGeneratedClass> {
         let src = self.mir.get(self.context.mir_pack);
+        
+        // Skip generic templates - they should not be code-generated
+        if src.is_generic_template {
+            return None;
+        }
 
         let methods = generate_api_methods(
             &MirType::EnumRef(self.mir.clone()),

frb_codegen/src/library/codegen/generator/api_dart/spec_generator/class/ty/mod.rs

@@ -30,6 +30,7 @@ impl ApiDartGeneratorClassTrait for DartFnApiDartGenerator<'_> {}
 impl ApiDartGeneratorClassTrait for DartOpaqueApiDartGenerator<'_> {}
 impl ApiDartGeneratorClassTrait for DynamicApiDartGenerator<'_> {}
 impl ApiDartGeneratorClassTrait for GeneralListApiDartGenerator<'_> {}
+impl ApiDartGeneratorClassTrait for GenericApiDartGenerator<'_> {}
 impl ApiDartGeneratorClassTrait for OptionalApiDartGenerator<'_> {}
 impl ApiDartGeneratorClassTrait for PrimitiveApiDartGenerator<'_> {}
 impl ApiDartGeneratorClassTrait for PrimitiveListApiDartGenerator<'_> {}

frb_codegen/src/library/codegen/generator/api_dart/spec_generator/class/ty/structure.rs

@@ -13,6 +13,12 @@ use crate::library::codegen::generator::api_dart::spec_generator::base::*;
 impl ApiDartGeneratorClassTrait for StructRefApiDartGenerator<'_> {
     fn generate_class(&self) -> Option<ApiDartGeneratedClass> {
         let src = self.mir.get(self.context.mir_pack);
+
+        // Skip generic templates - they should not be code-generated
+        if src.is_generic_template {
+            return None;
+        }
+
         let comments = generate_dart_comments(&src.comments);
         let metadata = generate_dart_metadata(&src.effective_dart_metadata());
 

frb_codegen/src/library/codegen/generator/api_dart/spec_generator/info.rs

@@ -161,6 +161,14 @@ impl ApiDartGeneratorInfoTrait for GeneralListApiDartGenerator<'_> {
     }
 }
 
+impl ApiDartGeneratorInfoTrait for GenericApiDartGenerator<'_> {
+    fn dart_api_type(&self) -> String {
+        // Generic types should not appear in Dart code directly
+        // They are placeholders that get substituted during template instantiation
+        format!("Generic<{}>", self.mir.param_name)
+    }
+}
+
 impl ApiDartGeneratorInfoTrait for OptionalApiDartGenerator<'_> {
     fn dart_api_type(&self) -> String {
         let inner = ApiDartGenerator::new(self.mir.inner.clone(), self.context);

frb_codegen/src/library/codegen/generator/codec/sse/ty/generic.rs

@@ -0,0 +1,14 @@
+use crate::codegen::generator::codec::sse::ty::*;
+
+impl CodecSseTyTrait for GenericCodecSseTy<'_> {
+    fn generate_encode(&self, _lang: &Lang) -> Option<String> {
+        // Generic types should not appear in generated code - they are placeholders
+        None
+    }
+
+    fn generate_decode(&self, _lang: &Lang) -> Option<String> {
+        // Generic types should not appear in generated code - they are placeholders
+        None
+    }
+}
+

frb_codegen/src/library/codegen/generator/codec/sse/ty/mod.rs

@@ -5,6 +5,7 @@ pub(crate) mod delegate;
 mod dynamic;
 pub(crate) mod enumeration;
 mod general_list;
+mod generic;
 mod optional;
 mod primitive;
 mod primitive_list;

frb_codegen/src/library/codegen/generator/misc/mod.rs

@@ -29,6 +29,7 @@ pub fn is_js_value(ty: &MirType) -> bool {
         MirType::Primitive(_) | MirType::PrimitiveList(_) => false,
         // frb-coverage:ignore-start
         MirType::Dynamic(_) | MirType::TraitDef(_) => unreachable!(),
+        MirType::Generic(_) => unreachable!("Generic types should not appear in final code generation"),
         // frb-coverage:ignore-end
     }
 }

frb_codegen/src/library/codegen/generator/misc/structs_macro.rs

@@ -15,6 +15,7 @@ macro_rules! codegen_generator_structs {
             Dynamic,
             EnumRef,
             GeneralList,
+            Generic,
             Optional,
             Primitive,
             PrimitiveList,
@@ -34,6 +35,7 @@ macro_rules! codegen_generator_structs {
         use $crate::codegen::ir::mir::ty::dynamic::MirTypeDynamic;
         use $crate::codegen::ir::mir::ty::enumeration::MirTypeEnumRef;
         use $crate::codegen::ir::mir::ty::general_list::MirTypeGeneralList;
+        use $crate::codegen::ir::mir::ty::generic::MirTypeGeneric;
         use $crate::codegen::ir::mir::ty::optional::MirTypeOptional;
         use $crate::codegen::ir::mir::ty::primitive::MirTypePrimitive;
         use $crate::codegen::ir::mir::ty::primitive_list::MirTypePrimitiveList;

frb_codegen/src/library/codegen/generator/wire/dart/spec_generator/codec/cst/encoder/ty/generic.rs

@@ -0,0 +1,16 @@
+use crate::codegen::generator::acc::Acc;
+use crate::codegen::generator::misc::target::Target;
+use crate::codegen::generator::wire::dart::spec_generator::codec::cst::base::*;
+use crate::codegen::generator::wire::dart::spec_generator::codec::cst::encoder::ty::WireDartCodecCstGeneratorEncoderTrait;
+
+impl WireDartCodecCstGeneratorEncoderTrait for GenericWireDartCodecCstGenerator<'_> {
+    fn generate_encode_func_body(&self) -> Acc<Option<String>> {
+        Acc::default()
+    }
+
+    fn dart_wire_type(&self, _target: Target) -> String {
+        // Generic types should not appear in generated code
+        "UNREACHABLE_DART_WIRE_TYPE".into()
+    }
+}
+

frb_codegen/src/library/codegen/generator/wire/dart/spec_generator/codec/cst/encoder/ty/mod.rs

@@ -5,6 +5,7 @@ mod delegate;
 mod dynamic;
 mod enumeration;
 mod general_list;
+mod generic;
 mod optional;
 mod primitive;
 mod primitive_list;