Allow subtype in throw instruction (#2568)

This allows subtype for arguments of `throw`. This also renames
`shouldBeSubTypeOrUnreachable` to `shouldBeSubTypeOrFirstIsUnreachable`,
to be consistent with `shouldBeEqualOrFirstIsUnreachable`.

1 files changed, 5 insertions, 0 deletions

diff --git a/test/exception-handling.wast.fromBinary b/test/exception-handling.wast.fromBinary
index 369b17dd9..b5aba7e15 100644
--- a/test/exception-handling.wast.fromBinary
+++ b/test/exception-handling.wast.fromBinary
@@ -1,8 +1,10 @@
 (module
  (type $none_=>_none (func))
  (type $i32_=>_none (func (param i32)))
+ (type $anyref_=>_none (func (param anyref)))
  (type $exnref_=>_exnref (func (param exnref) (result exnref)))
  (event $event$0 (attr 0) (param i32))
+ (event $event$1 (attr 0) (param anyref))
  (func $exnref_test (; 0 ;) (param $0 exnref) (result exnref)
   (local.get $0)
  )
@@ -84,6 +86,9 @@
     )
    )
   )
+  (throw $event$1
+   (ref.null)
+  )
  )
 )