;; RUN: wasm-opt %s --enable-memory64 --print-features --print --memory64-lowering --print-features | filecheck %s

;; Check that the --memory64-lowering pass disables the signext feature.

;; CHECK: --enable-memory64
;; CHECK: (module
;; CHECK-NOT: --enable-memory64

(module)