linking.wast

;;! memory64 = true

(module $export32 (memory (export "m") 1))
(module $export64 (memory (export "m") i64 1))

(module (import "export64" "m" (memory i64 1)))
(module (import "export32" "m" (memory i32 1)))

(assert_unlinkable
  (module (import "export32" "m" (memory i64 1)))
  "memory types incompatible")
(assert_unlinkable
  (module (import "export64" "m" (memory 1)))
  "memory types incompatible")