{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"E0081,"}]}
                        E0081,
                        tcx.def_span(adt.did()),
                        "discriminant value `{}` assigned more than once",