| ;; RUN: not wasm-opt -all %s 2>&1 | filecheck %s | |
| (module | |
| (memory $m 1 1) | |
| (type $arr (array (mut i8))) | |
| ;; CHECK: Fatal: {{.*}}: error: memory index is not allowed for array load | |
| (func $load-memidx (param $a (ref $arr)) | |
| (drop (i32.load8_u $m (type $arr) (local.get $a) (i32.const 0))) | |
| ) | |
| ) |