blob: 20a368a7a67194ada44665b5a0f898fdd84630b2 (
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 -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)
)
)
|
