test/lit/binary/annotated-array-len.test

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

;; Test the we can properly parse the annotated array.len format that we no
;; longer emit.

;; RUN: wasm-dis %s.wasm -all --nominal | filecheck %s

;; CHECK:      (type $none_=>_i32 (func_subtype (result i32) func))

;; CHECK:      (type $[mut:i8] (array_subtype (mut i8) data))

;; CHECK:      (func $0 (type $none_=>_i32) (result i32)
;; CHECK-NEXT:  (array.len
;; CHECK-NEXT:   (array.new_default $[mut:i8]
;; CHECK-NEXT:    (i32.const 0)
;; CHECK-NEXT:   )
;; CHECK-NEXT:  )
;; CHECK-NEXT: )