| # RUN: yaml2obj %s | not obj2yaml 2>&1 | FileCheck %s | |
| --- !WASM | |
| FileHeader: | |
| Version: 0x00000001 | |
| Sections: | |
| - Type: CUSTOM | |
| Name: producers | |
| Languages: | |
| - Name: C++ | |
| Version: C++11 | |
| - Name: C++ | |
| Version: C++17 | |
| ... | |
| # CHECK: Producers section contains repeated producer |