;;; TOOL: wat2wasm
;;; FLAGS: --enable-exceptions -v
;;; ERROR: 1
(module
  (except $ex i32)
  (func (result i32)
    (i64.const 8)
    (throw $ex)
  )
) 
(;; STDERR ;;;
out/test/exceptions/bad-throw.txt:8:6: error: type mismatch in throw, expected i32 but got i64.
    (throw $ex)
     ^^^^^
;;; STDERR ;;)