blob: f9710d44001362cf8a8f46add57dcd95a41f7024 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
;; Test that using rec groups types without GC is a validation error.
;; RUN: not wasm-opt %s --hybrid -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)
)
)
|
