1 2 3 4 5 6 7 8 9 10 11 12
(witx) (witx (typename $x u32) ) (assert_invalid (witx (typename $x u32) (typename $x u32) ) "Redefinition of name `x`")