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

;; Test that the opcodes for the deprecated *_static cast instructions still parse.

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

;; CHECK:      (type ${} (struct ))

;; CHECK:      (type $none_=>_none (func))

;; CHECK:      (func $0 (type $none_=>_none)
;; CHECK-NEXT:  (drop
;; CHECK-NEXT:   (ref.test ${}
;; CHECK-NEXT:    (ref.null none)
;; CHECK-NEXT:   )
;; CHECK-NEXT:  )
;; CHECK-NEXT:  (drop
;; CHECK-NEXT:   (ref.cast null none
;; CHECK-NEXT:    (ref.null none)
;; CHECK-NEXT:   )
;; CHECK-NEXT:  )
;; CHECK-NEXT:  (drop
;; CHECK-NEXT:   (ref.cast_nop none
;; CHECK-NEXT:    (ref.null none)
;; CHECK-NEXT:   )
;; CHECK-NEXT:  )
;; CHECK-NEXT:  (drop
;; CHECK-NEXT:   (block $label$1 (result (ref null ${}))
;; CHECK-NEXT:    (br_on_cast $label$1 ${}
;; CHECK-NEXT:     (ref.null none)
;; CHECK-NEXT:    )
;; CHECK-NEXT:   )
;; CHECK-NEXT:  )
;; CHECK-NEXT:  (drop
;; CHECK-NEXT:   (block $label$2 (result (ref null ${}))
;; CHECK-NEXT:    (br_on_cast_fail $label$2 ${}
;; CHECK-NEXT:     (ref.null none)
;; CHECK-NEXT:    )
;; CHECK-NEXT:   )
;; CHECK-NEXT:  )
;; CHECK-NEXT: )