test/lit/validation/nn-tuples.wast

;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.

;; RUN: wasm-opt %s -all -S -o - \
;; RUN:   | filecheck %s

;; Test for non-nullable types in tuples

(module
  ;; CHECK:      (func $foo (type $none_=>_none)
  ;; CHECK-NEXT:  (local $tuple ((ref any) (ref any)))
  ;; CHECK-NEXT:  (nop)
  ;; CHECK-NEXT: )
  (func $foo
    (local $tuple ((ref any) (ref any)))
  )
)