test/lit/validation/non-ref.wast


1
2
3
4
5
6
7
8
9
10
11
12
13

;; RUN: not wasm-opt %s -all 2>&1 | filecheck %s

;; CHECK: ref.as value must be reference

(module
  (func $test
    (drop
      (ref.as_non_null
        (i32.const 42)
      )
    )
  )
)