;; RUN: not wasm-opt -all %s 2>&1 | filecheck %s

;; CHECK: expected array type annotation on array.new_fixed

(module
  (type $struct (struct (field anyref)))

  ;; The type here is a struct, not an array, so we error.
  (global $struct (ref $struct) (array.new_fixed $struct 1
    (i32.const 64)
  ))
)