1;;! memory64 = true
2
3(module $m
4  (memory (export "mem") 0)
5)
6
7(assert_unlinkable
8  (module (import "m" "mem" (memory i64 0)))
9  "expected 64-bit memory, found 32-bit memory")
10