Make expand_meta_var_dif_seq_matchers translatable

Author: Xiretza

compiler/rustc_expand/messages.ftl

@@ -109,7 +109,14 @@ expand_malformed_feature_attribute =
     malformed `feature` attribute input
     .expected = expected just one word
 
-expand_meta_var_dif_seq_matchers = {$msg}
+expand_meta_var_dif_seq_matchers =
+    meta-variable `{$var1_id}` repeats {$var1_len} {$var1_len ->
+        [one] time
+        *[count] times
+    }, but `{$var2_id}` repeats {$var2_len} {$var2_len ->
+        [one] time
+        *[count] times
+    }
 
 expand_meta_var_expr_unrecognized_var =
     variable `{$key}` is not recognized in meta-variable expression

compiler/rustc_expand/src/errors.rs

@@ -49,7 +49,10 @@ pub(crate) struct VarStillRepeating {
 pub(crate) struct MetaVarsDifSeqMatchers {
     #[primary_span]
     pub span: Span,
-    pub msg: String,
+    pub var1_id: String,
+    pub var1_len: usize,
+    pub var2_id: String,
+    pub var2_len: usize,
 }
 
 #[derive(Diagnostic)]

compiler/rustc_expand/src/mbe/transcribe.rs

@@ -9,7 +9,7 @@ use rustc_ast::mut_visit::{self, MutVisitor};
 use rustc_ast::token::{self, Delimiter, Token, TokenKind};
 use rustc_ast::tokenstream::{DelimSpacing, DelimSpan, Spacing, TokenStream, TokenTree};
 use rustc_data_structures::fx::FxHashMap;
-use rustc_errors::{pluralize, Diag, PResult};
+use rustc_errors::{Diag, PResult};
 use rustc_parse::parser::ParseNtResult;
 use rustc_span::hygiene::{LocalExpnId, Transparency};
 use rustc_span::symbol::{sym, Ident, MacroRulesNormalizedIdent};
@@ -200,14 +200,18 @@ pub(super) fn transcribe<'a>(
                             .create_err(NoSyntaxVarsExprRepeat { span: seq.span() }));
                     }
 
-                    LockstepIterSize::Contradiction(msg) => {
+                    LockstepIterSize::Contradiction { var1_id, var1_len, var2_id, var2_len } => {
                         // FIXME: this really ought to be caught at macro definition time... It
                         // happens when two meta-variables are used in the same repetition in a
                         // sequence, but they come from different sequence matchers and repeat
                         // different amounts.
-                        return Err(cx
-                            .dcx()
-                            .create_err(MetaVarsDifSeqMatchers { span: seq.span(), msg }));
+                        return Err(cx.dcx().create_err(MetaVarsDifSeqMatchers {
+                            span: seq.span(),
+                            var1_id,
+                            var1_len,
+                            var2_id,
+                            var2_len,
+                        }));
                     }
 
                     LockstepIterSize::Constraint(len, _) => {
@@ -447,7 +451,7 @@ enum LockstepIterSize {
     Constraint(usize, MacroRulesNormalizedIdent),
 
     /// Two `Constraint`s on the same sequence had different lengths. This is an error.
-    Contradiction(String),
+    Contradiction { var1_id: String, var1_len: usize, var2_id: String, var2_len: usize },
 }
 
 impl LockstepIterSize {
@@ -458,23 +462,17 @@ impl LockstepIterSize {
     fn with(self, other: LockstepIterSize) -> LockstepIterSize {
         match self {
             LockstepIterSize::Unconstrained => other,
-            LockstepIterSize::Contradiction(_) => self,
+            LockstepIterSize::Contradiction { .. } => self,
             LockstepIterSize::Constraint(l_len, l_id) => match other {
                 LockstepIterSize::Unconstrained => self,
-                LockstepIterSize::Contradiction(_) => other,
+                LockstepIterSize::Contradiction { .. } => other,
                 LockstepIterSize::Constraint(r_len, _) if l_len == r_len => self,
-                LockstepIterSize::Constraint(r_len, r_id) => {
-                    let msg = format!(
-                        "meta-variable `{}` repeats {} time{}, but `{}` repeats {} time{}",
-                        l_id,
-                        l_len,
-                        pluralize!(l_len),
-                        r_id,
-                        r_len,
-                        pluralize!(r_len),
-                    );
-                    LockstepIterSize::Contradiction(msg)
-                }
+                LockstepIterSize::Constraint(r_len, r_id) => LockstepIterSize::Contradiction {
+                    var1_id: l_id.to_string(),
+                    var1_len: l_len,
+                    var2_id: r_id.to_string(),
+                    var2_len: r_len,
+                },
             },
         }
     }