;; TODO: Autogenerate these checks! The current script cannot handle `rec`.

;; RUN: wasm-opt %s -all --hybrid -S -o - | filecheck %s
;; RUN: wasm-opt %s -all --hybrid --roundtrip -S -o - | filecheck %s

;; Check that everything works correctly when a recursion group has only a
;; single member. The rec group is implicit, so does not need to be printed.

(module

;; CHECK-NOT: rec
;; CHECK: (type $singleton (struct_subtype data))

 (rec
  (type $singleton (struct_subtype data))
 )

 ;; Use the type so it appears in the output.
 (global $g (ref null $singleton) (ref.null $singleton))
)