test/lit/validation/nn-locals-ok.wast

;; Test for validation of non-nullable locals

;; RUN: wasm-opt -all --enable-gc-nn-locals %s --print | filecheck %s

;; CHECK: (module

(module
  (func $foo (param $nn (ref any))
    ;; It is ok to read a non-nullable param.
    (drop
      (local.get $nn)
    )
  )
)