;; Type errors

(assert_invalid
  (module
    (memory 0)
    (memory $m 1)
    (memory 0)
    (func $type-result-i32-vs-empty
      (memory.size $m)
    )
  )
  "type mismatch"
)
(assert_invalid
  (module
    (memory 0)
    (memory 0)
    (memory 0)
    (memory $m 1)
    (func $type-result-i32-vs-f32 (result f32)
      (memory.size $m)
    )
  )
  "type mismatch"
)