| ;; Test for eqref validating only with GC, and not just reference types, even | |
| ;; when only declared in a null. | |
| ;; RUN: not wasm-opt --enable-reference-types %s 2>&1 | filecheck %s --check-prefix NO-GC | |
| ;; RUN: wasm-opt --enable-reference-types --enable-gc %s -o - -S | filecheck %s --check-prefix GC | |
| ;; NO-GC: all used types should be allowed | |
| ;; GC: (func $foo (type $eqref_=>_none) (param $x eqref) | |
| (module | |
| (func $foo (param $x eqref) | |
| (nop) | |
| ) | |
| ) |