;; Test that using rec groups types without GC is a validation error.
;; RUN: not wasm-opt %s -all --disable-gc 2>&1 | filecheck %s
;; CHECK: all used types should be allowed
(module
(rec
(type $f1 (func))
(type $f2 (func))
)
(func $test (type $f1)
(unreachable)
)
)