blob: 786289c0044b778fc21531f0f3fd2de43e63e91c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
;; Test that declaring supertypes 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
(type $f1 (sub (func)))
(type $f2 (sub $f1 (func)))
(func $test (type $f2)
(unreachable)
)
)
|
