test: add expected imports/exports check in basic wallet test

Author: greenhat

hir/src/component/mod.rs

@@ -69,7 +69,9 @@ impl formatter::PrettyPrint for ComponentImport {
 }
 
 /// The name of a exported function
-#[derive(Debug, Ord, PartialEq, PartialOrd, Eq, Hash, derive_more::From, derive_more::Into)]
+#[derive(
+    Debug, Clone, Ord, PartialEq, PartialOrd, Eq, Hash, derive_more::From, derive_more::Into,
+)]
 pub struct FunctionExportName(Symbol);
 
 /// A component export

tests/integration/src/rust_masm_tests/sdk.rs

@@ -1,7 +1,9 @@
+use std::collections::BTreeMap;
+
 use expect_test::expect_file;
 use miden_core::crypto::hash::RpoDigest;
 use miden_frontend_wasm::{ExportMetadata, ImportMetadata, WasmTranslationConfig};
-use miden_hir::{InterfaceFunctionIdent, InterfaceIdent, Symbol};
+use miden_hir::{FunctionExportName, InterfaceFunctionIdent, InterfaceIdent, Symbol};
 
 use crate::CompilerTest;
 
@@ -27,7 +29,7 @@ fn sdk_basic_wallet() {
         interface: interface.clone(),
         function: Symbol::intern("remove-asset"),
     };
-    let import_metadata = [
+    let import_metadata: BTreeMap<InterfaceFunctionIdent, ImportMetadata> = [
         (
             create_note_ident.clone(),
             ImportMetadata {
@@ -52,7 +54,7 @@ fn sdk_basic_wallet() {
     ]
     .into_iter()
     .collect();
-    let export_metadata = [
+    let export_metadata: BTreeMap<FunctionExportName, ExportMetadata> = [
         (
             Symbol::intern("send-asset").into(),
             ExportMetadata {
@@ -69,14 +71,21 @@ fn sdk_basic_wallet() {
     .into_iter()
     .collect();
     let config = WasmTranslationConfig {
-        import_metadata,
-        export_metadata,
+        import_metadata: import_metadata.clone(),
+        export_metadata: export_metadata.clone(),
         ..Default::default()
     };
     let mut test = CompilerTest::rust_source_cargo_component("sdk/basic-wallet", config);
     let artifact_name = test.source.artifact_name();
     test.expect_wasm(expect_file![format!("../../expected/sdk_basic_wallet/{artifact_name}.wat")]);
     test.expect_ir(expect_file![format!("../../expected/sdk_basic_wallet/{artifact_name}.hir")]);
+    let ir = test.hir().unwrap_component();
+    for (_, import) in ir.imports() {
+        assert!(import_metadata.contains_key(&import.interface_function));
+    }
+    for (name, _meta) in export_metadata {
+        assert!(ir.exports().contains_key(&name));
+    }
 }
 
 #[test]