type "foo" defined twice --> tests/ui/parse-fail/duplicate-type.witx:4:6 | 4 | type foo = s32 | ^--