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

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

(module
 ;; CHECK:      (type $struct (struct (field i32)))
 (type $struct (struct i32))
 ;; CHECK:      (func $ref.cast_nop_static (param $x (ref any)) (result (ref $struct))
 ;; CHECK-NEXT:  (ref.cast_nop_static $struct
 ;; CHECK-NEXT:   (local.get $x)
 ;; CHECK-NEXT:  )
 ;; CHECK-NEXT: )
 (func $ref.cast_nop_static (param $x (ref any)) (result (ref $struct))
  (ref.cast_nop_static $struct
   (local.get $x)
  )
 )
)