;;; TOOL: wat2wasm
;;; ERROR: 1
(module
  (import "foo" "bar" (global i32))
  (global f32 (global.get 0)))
(;; STDERR ;;;
out/test/typecheck/bad-global-globalget-type-mismatch.txt:5:16: error: type mismatch in initializer expression, expected [f32] but got [i32]
  (global f32 (global.get 0)))
               ^^^^^^^^^^
;;; STDERR ;;)
