Skip to content

Commit 607a190

Browse files
committed
Capture tokens for Pat used in macro_rules! argument
This extends PR #73293 to handle patterns (Pat). Unlike expressions, patterns do not support custom attributes, so we only need to capture tokens during macro_rules! argument parsing.
1 parent f6049b6 commit 607a190

File tree

13 files changed

+85
-10
lines changed

13 files changed

+85
-10
lines changed

src/librustc_ast/ast.rs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -550,6 +550,7 @@ pub struct Pat {
550550
pub id: NodeId,
551551
pub kind: PatKind,
552552
pub span: Span,
553+
pub tokens: Option<TokenStream>,
553554
}
554555

555556
impl Pat {
@@ -2138,6 +2139,7 @@ impl Param {
21382139
id: DUMMY_NODE_ID,
21392140
kind: PatKind::Ident(BindingMode::ByValue(mutbl), eself_ident, None),
21402141
span,
2142+
tokens: None,
21412143
}),
21422144
span,
21432145
ty,

src/librustc_ast/mut_visit.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1053,7 +1053,7 @@ pub fn noop_flat_map_foreign_item<T: MutVisitor>(
10531053
}
10541054

10551055
pub fn noop_visit_pat<T: MutVisitor>(pat: &mut P<Pat>, vis: &mut T) {
1056-
let Pat { id, kind, span } = pat.deref_mut();
1056+
let Pat { id, kind, span, tokens: _ } = pat.deref_mut();
10571057
vis.visit_id(id);
10581058
match kind {
10591059
PatKind::Wild | PatKind::Rest => {}

src/librustc_expand/base.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -551,6 +551,7 @@ impl MacResult for MacEager {
551551
id: ast::DUMMY_NODE_ID,
552552
span: e.span,
553553
kind: PatKind::Lit(e),
554+
tokens: None,
554555
}));
555556
}
556557
}
@@ -597,7 +598,7 @@ impl DummyResult {
597598

598599
/// A plain dummy pattern.
599600
pub fn raw_pat(sp: Span) -> ast::Pat {
600-
ast::Pat { id: ast::DUMMY_NODE_ID, kind: PatKind::Wild, span: sp }
601+
ast::Pat { id: ast::DUMMY_NODE_ID, kind: PatKind::Wild, span: sp, tokens: None }
601602
}
602603

603604
/// A plain dummy type.

src/librustc_expand/build.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -392,7 +392,7 @@ impl<'a> ExtCtxt<'a> {
392392
}
393393

394394
pub fn pat(&self, span: Span, kind: PatKind) -> P<ast::Pat> {
395-
P(ast::Pat { id: ast::DUMMY_NODE_ID, kind, span })
395+
P(ast::Pat { id: ast::DUMMY_NODE_ID, kind, span, tokens: None })
396396
}
397397
pub fn pat_wild(&self, span: Span) -> P<ast::Pat> {
398398
self.pat(span, PatKind::Wild)

src/librustc_expand/placeholders.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,8 @@ pub fn placeholder(
3838
})
3939
};
4040
let ty = || P(ast::Ty { id, kind: ast::TyKind::MacCall(mac_placeholder()), span });
41-
let pat = || P(ast::Pat { id, kind: ast::PatKind::MacCall(mac_placeholder()), span });
41+
let pat =
42+
|| P(ast::Pat { id, kind: ast::PatKind::MacCall(mac_placeholder()), span, tokens: None });
4243

4344
match kind {
4445
AstFragmentKind::Expr => AstFragment::Expr(expr_placeholder()),
@@ -85,6 +86,7 @@ pub fn placeholder(
8586
id,
8687
span,
8788
kind: ast::PatKind::MacCall(mac_placeholder()),
89+
tokens: None,
8890
})),
8991
AstFragmentKind::Ty => {
9092
AstFragment::Ty(P(ast::Ty { id, span, kind: ast::TyKind::MacCall(mac_placeholder()) }))

src/librustc_parse/lib.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -263,6 +263,7 @@ pub fn nt_to_tokenstream(nt: &Nonterminal, sess: &ParseSess, span: Span) -> Toke
263263
Nonterminal::NtItem(ref item) => {
264264
prepend_attrs(sess, &item.attrs, item.tokens.as_ref(), span)
265265
}
266+
Nonterminal::NtPat(ref pat) => pat.tokens.clone(),
266267
Nonterminal::NtIdent(ident, is_raw) => {
267268
Some(tokenstream::TokenTree::token(token::Ident(ident.name, is_raw), ident.span).into())
268269
}

src/librustc_parse/parser/diagnostics.rs

Lines changed: 9 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -26,6 +26,7 @@ pub(super) fn dummy_arg(ident: Ident) -> Param {
2626
id: ast::DUMMY_NODE_ID,
2727
kind: PatKind::Ident(BindingMode::ByValue(Mutability::Not), ident, None),
2828
span: ident.span,
29+
tokens: None,
2930
});
3031
let ty = Ty { kind: TyKind::Err, span: ident.span, id: ast::DUMMY_NODE_ID };
3132
Param {
@@ -83,7 +84,12 @@ impl RecoverQPath for Pat {
8384
self.to_ty()
8485
}
8586
fn recovered(qself: Option<QSelf>, path: ast::Path) -> Self {
86-
Self { span: path.span, kind: PatKind::Path(qself, path), id: ast::DUMMY_NODE_ID }
87+
Self {
88+
span: path.span,
89+
kind: PatKind::Path(qself, path),
90+
id: ast::DUMMY_NODE_ID,
91+
tokens: None,
92+
}
8793
}
8894
}
8995

@@ -1526,7 +1532,8 @@ impl<'a> Parser<'a> {
15261532
.emit();
15271533

15281534
// Pretend the pattern is `_`, to avoid duplicate errors from AST validation.
1529-
let pat = P(Pat { kind: PatKind::Wild, span: pat.span, id: ast::DUMMY_NODE_ID });
1535+
let pat =
1536+
P(Pat { kind: PatKind::Wild, span: pat.span, id: ast::DUMMY_NODE_ID, tokens: None });
15301537
Ok((pat, ty))
15311538
}
15321539

src/librustc_parse/parser/nonterminal.rs

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -116,7 +116,14 @@ impl<'a> Parser<'a> {
116116
Some(s) => token::NtStmt(s),
117117
None => return Err(self.struct_span_err(self.token.span, "expected a statement")),
118118
},
119-
NonterminalKind::Pat => token::NtPat(self.parse_pat(None)?),
119+
NonterminalKind::Pat => {
120+
let (mut pat, tokens) = self.collect_tokens(|this| this.parse_pat(None))?;
121+
// We have have eaten an NtPat, which could already have tokens
122+
if pat.tokens.is_none() {
123+
pat.tokens = Some(tokens);
124+
}
125+
token::NtPat(pat)
126+
}
120127
NonterminalKind::Expr => {
121128
let (mut expr, tokens) = self.collect_tokens(|this| this.parse_expr())?;
122129
// If we captured tokens during parsing (due to outer attributes),

src/librustc_parse/parser/pat.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1007,6 +1007,6 @@ impl<'a> Parser<'a> {
10071007
}
10081008

10091009
fn mk_pat(&self, span: Span, kind: PatKind) -> P<Pat> {
1010-
P(Pat { kind, span, id: ast::DUMMY_NODE_ID })
1010+
P(Pat { kind, span, id: ast::DUMMY_NODE_ID, tokens: None })
10111011
}
10121012
}

src/test/ui-fulldeps/pprust-expr-roundtrip.rs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -164,6 +164,7 @@ fn iter_exprs(depth: usize, f: &mut dyn FnMut(P<Expr>)) {
164164
id: DUMMY_NODE_ID,
165165
kind: PatKind::Wild,
166166
span: DUMMY_SP,
167+
tokens: None,
167168
});
168169
iter_exprs(depth - 1, &mut |e| g(ExprKind::Let(pat.clone(), e)))
169170
},

0 commit comments

Comments
 (0)