| RUN: not wasm-opt --debug %s.wasm 2>&1 | filecheck %s | |
| ;; Check that we get the expected error for an input binary that looks like | |
| ;; this: | |
| ;; | |
| ;; (module | |
| ;; (global $g i32 (local.tee 0 (i32.const 1))) | |
| ;; ) | |
| ;; CHECK: local.tee is only valid in a function context |