summaryrefslogtreecommitdiff
path: root/test/lit/validation/nullref-no-gc.wast
blob: 27560b3ff7761c44ca9c359d93974df939fe1bd9 (plain)
1
2
3
4
5
6
7
8
9
10
11
;; Test that nullref 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
  (func $test
    (local nullref)
  )
)