;;; TOOL: wat2wasm
;;; ARGS: --enable-multi-value
;;; ERROR: 1
(module
  ;; too few results
  (func
    loop (result i32 i32)
      i32.const 0
    end
    return)

  ;; too many results
  (func
    loop (result i32 i32)
      i32.const 0
      i32.const 0
      i32.const 0
    end
    return)

  ;; result type mismatch
  (func
    loop (result f32 i32)
      i32.const 0
      i32.const 1
    end
    return)

  ;; too few params
  (func
    loop (param i32)
      drop
    end)

  ;; param type mismatch
  (func
    f32.const 0
    loop (param i32)
      drop
    end)
)
(;; STDERR ;;;
out/test/typecheck/bad-loop-multi-mismatch.txt:9:5: error: type mismatch in loop, expected [i32, i32] but got [i32]
    end
    ^^^
out/test/typecheck/bad-loop-multi-mismatch.txt:18:5: error: type mismatch in loop, expected [] but got [i32]
    end
    ^^^
out/test/typecheck/bad-loop-multi-mismatch.txt:26:5: error: type mismatch in loop, expected [f32, i32] but got [i32, i32]
    end
    ^^^
out/test/typecheck/bad-loop-multi-mismatch.txt:31:5: error: type mismatch in loop, expected [i32] but got []
    loop (param i32)
    ^^^^
out/test/typecheck/bad-loop-multi-mismatch.txt:38:5: error: type mismatch in loop, expected [i32] but got [f32]
    loop (param i32)
    ^^^^
;;; STDERR ;;)