1 files changed, 21 insertions, 0 deletions
diff --git a/tests/fixtures/spec_testsuites/core/table-sub.wast b/tests/fixtures/spec_testsuites/core/table-sub.wast
new file mode 100644
index 0000000..08787bd
--- /dev/null
+++ b/tests/fixtures/spec_testsuites/core/table-sub.wast
@@ -0,0 +1,21 @@
+(assert_invalid
+  (module
+    (table $t1 10 funcref)
+    (table $t2 10 externref)
+    (func $f
+      (table.copy $t1 $t2 (i32.const 0) (i32.const 1) (i32.const 2))
+    )
+  )
+  "type mismatch"
+)
+
+(assert_invalid
+  (module
+    (table $t 10 funcref)
+    (elem $el externref)
+    (func $f
+      (table.init $t $el (i32.const 0) (i32.const 1) (i32.const 2))
+    )
+  )
+  "type mismatch"
+)