;;; TOOL: wat2wasm
;;; ARGS: --enable-exceptions
;;; ERROR: 1
(module
  (tag (param i32))
  (func
    try
    catch 0
    end
  ))
(;; STDERR ;;;
out/test/typecheck/bad-empty-catch.txt:9:5: error: type mismatch at end of try catch, expected [] but got [i32]
    end
    ^^^
;;; STDERR ;;)