macro_rules! define_error_code_constants_and_diagnostics_table {
    ($($name:ident: $num:literal,)*) => { ... };
}