test/typecheck/nocheck.txt


1
2
3
4
5

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