reinstate type check in TableEntity::init

wasmi-labs · Oct 6, 2024 · b70b16d · b70b16d
1 parent fe664ba
commit b70b16d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/crates/wasmi/src/table/mod.rs b/crates/wasmi/src/table/mod.rs
@@ -358,9 +358,9 @@ impl TableEntity {
             "table.init currently only works on reftypes"
         );
         // Removed because Element lost its type field in a wasmparser update.
-        // table_type
-        //     .matches_element_type(element.ty())
-        //     .map_err(|_| TrapCode::BadSignature)?;
+        table_type
+            .matches_element_type(element.ty())
+            .map_err(|_| TrapCode::BadSignature)?;
         // Convert parameters to indices.
         let dst_index = dst_index as usize;
         let src_index = src_index as usize;