| # RUN: yaml2obj %s | not mlir-translate --import-wasm -o - 2>&1 | FileCheck %s | |
| # CHECK: trying to export function 42 which is undefined in this scope | |
| --- !WASM | |
| FileHeader: | |
| Version: 0x00000001 | |
| Sections: | |
| - Type: EXPORT | |
| Exports: | |
| - Name: function_export | |
| Kind: FUNCTION | |
| Index: 42 |