Merge pull request #2020 from fzyzcjy/feat/12134

Support non-exhaustive enumerations
fzyzcjy · Jun 3, 2024 · 99dfccd · 99dfccd
2 parents b74a963 + cab981f
commit 99dfccd
Show file tree

Hide file tree

Showing 6 changed files with 1,199 additions and 177 deletions.
diff --git a/frb_codegen/src/library/codegen/generator/codec/sse/ty/enumeration.rs b/frb_codegen/src/library/codegen/generator/codec/sse/ty/enumeration.rs
@@ -111,7 +111,11 @@ pub(crate) fn generate_enum_encode_rust_general(
         })
         .collect_vec();
 
-    lang.switch_expr(self_ref, &variants, None)
+    lang.switch_expr(
+        self_ref,
+        &variants,
+        Some(format!("{};", lang.throw_unimplemented(""))),
+    )
 }
 
 fn pattern_match_enum_variant(lang: &Lang, variant: &MirVariant) -> String {

diff --git a/...n/src/library/codegen/generator/wire/rust/spec_generator/codec/dco/encoder/ty/delegate.rs b/...n/src/library/codegen/generator/wire/rust/spec_generator/codec/dco/encoder/ty/delegate.rs
@@ -34,6 +34,7 @@ impl<'a> WireRustCodecDcoGeneratorEncoderTrait for DelegateWireRustCodecDcoGener
             let body = format!(
                 "match {self_ref} {{
                     {variants}
+                    _ => unreachable!(),
                 }}"
             );