{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                diag.arg("data_size", info.data_size);
            InvalidNichedEnumVariantWritten { enum_ty } => {