Test for resume_throw too

WebAssembly · Oct 19, 2023 · c81ef89 · c81ef89
1 parent 47367c9
commit c81ef89
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/test/core/cont.wast b/test/core/cont.wast
@@ -150,6 +150,16 @@
       (unreachable)))
   "non-continuation type 0")
 
+(assert_invalid
+  (module
+    (type $ft (func))
+    (type $ct (cont $ft))
+    (tag $exn)
+    (func
+      (resume_throw $ft $exn (ref.null $ct))
+      (unreachable)))
+  "non-continuation type 0")
+
 (assert_invalid
   (module
     (type $ft (func))