1;;! memory64 = true
2
3(module $export32 (memory (export "m") 1))
4(module $export64 (memory (export "m") i64 1))
5
6(module (import "export64" "m" (memory i64 1)))
7(module (import "export32" "m" (memory i32 1)))
8
9(assert_unlinkable
10  (module (import "export32" "m" (memory i64 1)))
11  "memory types incompatible")
12(assert_unlinkable
13  (module (import "export64" "m" (memory 1)))
14  "memory types incompatible")
15