1*60fc557cSAlex Crichton;;! memory64 = true
2*60fc557cSAlex Crichton
39db418cfSAlex Crichton(module $m
49db418cfSAlex Crichton  (memory (export "mem") 0)
59db418cfSAlex Crichton)
69db418cfSAlex Crichton
79db418cfSAlex Crichton(assert_unlinkable
89db418cfSAlex Crichton  (module (import "m" "mem" (memory i64 0)))
99db418cfSAlex Crichton  "expected 64-bit memory, found 32-bit memory")
10