;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
;; RUN: wasm-opt %s -all --disable-gc -S -o - | filecheck %s

;; No collision - we should not write a stringref as an externref.
(module
  ;; CHECK:      (type $A (func (param externref)))
  (type $A (func (param externref)))
  ;; CHECK:      (type $B (func (param stringref)))
  (type $B (func (param stringref)))

  ;; CHECK:      (func $a (param $0 externref)
  ;; CHECK-NEXT:  (nop)
  ;; CHECK-NEXT: )
  (func $a (type $A)
    (nop)
  )

  ;; CHECK:      (func $b (param $0 stringref)
  ;; CHECK-NEXT:  (nop)
  ;; CHECK-NEXT: )
  (func $b (type $B)
    (nop)
  )
)