;;; TOOL: wat2wasm
;;; ARGS: --no-check
(module
  (func (result i32)
    nop))  ;;; this is a typecheck error, but succeeds because of --no-check