"a" defined twice --> tests/ui/parse-fail/duplicate-value.witx:3:1 | 3 | a: u32 | ^