;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
;; Test that we handle an empty local name, and do not crash.
;;
;; The binary contains this, processed by wabt with debug names:
;;
;;   (module
;;     (func $foo (import "imports" "foo") (param i32)))
;;
;; Wabt emits a name for that parameter, but it is the empty string. See
;; https://github.com/WebAssembly/wabt/issues/1799

;; RUN: wasm-opt %s.wasm -S -o - | filecheck %s
;; CHECK:      (type $0 (func (param i32)))

;; CHECK:      (import "imports" "foo" (func $foo (param $"" i32)))