blob: 20a368a7a67194ada44665b5a0f898fdd84630b2 [file] [log] [blame] [edit]
;; 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)
)
)