blob: 2a621face819065c917fb8f3abf2ab99d815c9f0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
;; 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)))
)
)
|
