;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; Regression test for a bug where types on globals were not collected, so if
;; they weren't used anywhere else they were not emitted in the output.
;; RUN: wasm-opt -all %s -S -o - | filecheck %s
(module $parse
;; CHECK: (type $t (struct ))
(type $t (struct))
;; CHECK: (global $g (ref null $t) (ref.null none))
(global $g (ref null $t) (ref.null $t))
)