summaryrefslogtreecommitdiff
path: root/test/lit/validation/nn-tuples.wast
blob: c3c5e4e4f63bfe58b60c2db1350d0d92d761c4b4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
;; 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 $0)
  ;; CHECK-NEXT:  (local $tuple (tuple (ref any) (ref any)))
  ;; CHECK-NEXT: )
  (func $foo
    (local $tuple (tuple (ref any) (ref any)))
  )
)