Merge pull request #424 from WebAssembly/test-br-on-cast-types

Test that br_on_cast{_fail} must do a down cast

Author: rossberg

test/core/gc/br_on_cast.wast

@@ -249,3 +249,11 @@
   )
   "type mismatch"
 )
+(assert_invalid
+  (module
+    (func (result anyref)
+      (br_on_cast 0 eqref anyref (unreachable))
+    )
+  )
+  "type mismatch"
+)

test/core/gc/br_on_cast_fail.wast

@@ -264,3 +264,11 @@
   )
   "type mismatch"
 )
+(assert_invalid
+  (module
+    (func (result anyref)
+      (br_on_cast_fail 0 eqref anyref (unreachable))
+    )
+  )
+  "type mismatch"
+)