| ;; A gc type that uses a SIMD type requires the SIMD feature. | |
| ;; RUN: not wasm-opt --enable-reference-types --enable-gc %s 2>&1 | filecheck %s | |
| ;; CHECK: all used types should be allowed | |
| (module | |
| (type $simd-user (struct (field v128))) | |
| (global $g (ref null $simd-user) (ref.null $simd-user)) | |
| ) | |
| ;; But it passes with the feature enabled. | |
| ;; RUN: wasm-opt --enable-reference-types --enable-gc --enable-simd %s |