;;; TOOL: wat2wasm
;;; ERROR: 1
(module (tag (result i32)))
(;; STDERR ;;;
out/test/typecheck/bad-tag-results.txt:3:14: error: Tag signature must have 0 results.
(module (tag (result i32)))
             ^
;;; STDERR ;;)
