;; Test that the section vanishes after lifting.

(module
  (func $strings
    ;; These strings cannot appear as magic imports, and will definitely go in
    ;; the strings section.
    (drop
      (string.const "unpaired high surrogate \ED\A0\80 ")
    )
    (drop
      (string.const "unpaired low surrogate \ED\BD\88 ")
    )
  )
)

;; Lower into the section. We should see the section.
;; RUN: wasm-opt %s -all --string-lowering                  -S -o - | filecheck %s --check-prefix=LOWER
;; LOWER: custom section

;; Also lift. Now no section should appear.
;; RUN: wasm-opt %s -all --string-lowering --string-lifting -S -o - | filecheck %s --check-prefix=AND_LIFT
;; AND_LIFT-NOT: custom section