;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/proposals/exception-handling/tag.wast
;;; ARGS*: --enable-exceptions
(;; STDOUT ;;;
out/test/spec/exception-handling/tag.wast:19: assert_invalid passed:
  out/test/spec/exception-handling/tag/tag.2.wasm:0000014: error: Tag signature must have 0 results.
  0000014: error: OnTagType callback failed
3/3 tests passed.
;;; STDOUT ;;)