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