;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; RUN: wasm-opt %s -all --name-types -S -o - | filecheck %s
;; RUN: wasm-opt %s -all --name-types --nominal -S -o - | filecheck %s --check-prefix=NOMNL

(module
 ;; An obnoxious name that will be renamed.
 (type $obnoxious-super-long-type-name_____________________________1 (struct))

 ;; A reasonable name that will be kept.
 ;; CHECK:      (type $type$0 (func (param (ref $type$1) (ref $reasonable-name))))

 ;; CHECK:      (type $type$1 (struct))

 ;; CHECK:      (type $reasonable-name (struct (field i32)))
 ;; NOMNL:      (type $type$0 (func_subtype (param (ref $type$1) (ref $reasonable-name)) func))

 ;; NOMNL:      (type $type$1 (struct_subtype data))

 ;; NOMNL:      (type $reasonable-name (struct_subtype (field i32) data))
 (type $reasonable-name (struct (field i32)))

 ;; CHECK:      (func $foo (param $x (ref $type$1)) (param $y (ref $reasonable-name))
 ;; CHECK-NEXT:  (nop)
 ;; CHECK-NEXT: )
 ;; NOMNL:      (func $foo (type $type$0) (param $x (ref $type$1)) (param $y (ref $reasonable-name))
 ;; NOMNL-NEXT:  (nop)
 ;; NOMNL-NEXT: )
 (func $foo
  ;; Use the types to keep them alive.
  (param $x (ref $obnoxious-super-long-type-name_____________________________1))
  (param $y (ref $reasonable-name))
 )
)