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