fix(c): Prefix import module name for resource-drop with [export] (#946)

* fix(c): Prefix import module name for resource-drop with `[export]`

Import module name for exported resource's drop should be prefixed with [export]

* test: disable resource drop check for c-sharp generator for now

Author: kateinoigakukun

crates/c/src/lib.rs

@@ -1040,10 +1040,11 @@ extern void {ns}_{snake}_drop_own({own} handle);
         let import_module = if self.in_import {
             self.wasm_import_module.unwrap().to_string()
         } else {
-            match self.interface {
+            let module = match self.interface {
                 Some((_, key)) => self.resolve.name_world_key(key),
                 None => unimplemented!("resource exports from worlds"),
-            }
+            };
+            format!("[export]{module}")
         };
 
         let drop_fn = format!("__wasm_import_{ns}_{snake}_drop");

tests/runtime/resources.rs

@@ -97,6 +97,8 @@ fn run_test(exports: Guest, store: &mut Store<crate::Wasi<MyImports>>) -> Result
     ResourceAny::resource_drop(z_instance_1, &mut *store)?;
     ResourceAny::resource_drop(z_instance_2, &mut *store)?;
 
+    exports.call_consume(&mut *store, x_add)?;
+
     let dropped_zs_end = z.call_num_dropped(&mut *store)?;
     if dropped_zs_start != 0 {
         assert_eq!(dropped_zs_end, dropped_zs_start + 2);

tests/runtime/resources/wasm.c

@@ -53,6 +53,10 @@ exports_own_z_t exports_add(exports_z_t* a, exports_z_t* b) {
     return exports_constructor_z(c);
 }
 
+void exports_consume(exports_own_x_t x) {
+    exports_x_drop_own(x);
+}
+
 void exports_x_destructor(exports_x_t* x) {
     free(x);
 }

tests/runtime/resources/wasm.cs

@@ -10,6 +10,12 @@ public static IExports.Z Add(IExports.Z a, IExports.Z b)
         {
             return new Z(((Z) a).val + ((Z) b).val);
         }
+
+        public static void Consume(IExports.X x)
+        {
+          // FIXME: c-sharp generator seems wrong here
+          // x.Dispose();
+        }
 
         public static Result<None, string> TestImports()
         {

tests/runtime/resources/wasm.go

@@ -60,6 +60,10 @@ func (e ExportsImpl) Add(z ExportsZ, b ExportsZ) ExportsZ {
 	return &MyZ{a: z.MethodZGetA() + b.MethodZGetA()}
 }
 
+func (e ExportsImpl) Consume(x ExportsX) {
+	DropExportsX(x)
+}
+
 func (k *MyKebabCase) MethodKebabCaseGetA() uint32 {
 	return k.a
 }

tests/runtime/resources/wasm.rs

@@ -32,6 +32,11 @@ impl exports::exports::Guest for Test {
         let b = b.get::<ComponentZ>();
         Z::new(ComponentZ { val: a.val + b.val })
     }
+
+    fn consume(x: exports::exports::X) {
+        drop(x);
+    }
+
     fn test_imports() -> Result<(), String> {
         use imports::*;
         let y = Y::new(10);

tests/runtime/resources/world.wit

@@ -27,6 +27,8 @@ world resources {
 
     add: func(a: borrow<z>, b: borrow<z>) -> own<z>;
 
+    consume: func(x: x);
+
     resource kebab-case {
       constructor(a: u32);
       get-a: func() -> u32;