Test that "sideways" br_on_casts are not allowed

I had intended this to be included in WebAssembly#424, but better late than never.
dhil · Sep 12, 2023 · 121f084 · 121f084
1 parent bc304c5
commit 121f084
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/test/core/gc/br_on_cast.wast b/test/core/gc/br_on_cast.wast
@@ -257,3 +257,11 @@
   )
   "type mismatch"
 )
+(assert_invalid
+  (module
+    (func (result anyref)
+      (br_on_cast 0 structref arrayref (unreachable))
+    )
+  )
+  "type mismatch"
+)
diff --git a/test/core/gc/br_on_cast_fail.wast b/test/core/gc/br_on_cast_fail.wast
@@ -272,3 +272,11 @@
   )
   "type mismatch"
 )
+(assert_invalid
+  (module
+    (func (result anyref)
+      (br_on_cast_fail 0 structref arrayref (unreachable))
+    )
+  )
+  "type mismatch"
+)