;; 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 | filecheck %s

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

;; CHECK:      (type $[mut:i8] (array (mut i8)))

;; 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: )