mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Disallow TokenTree::{MetaVar,MetaVarExpr} in matchers.

Browse Source 
They should only appear in transcribers.
This commit is contained in:
Nicholas Nethercote 2022-03-09 16:58:13 +11:00
parent 09c3e82050
commit 4d4baf7c9a
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
compiler/rustc_expand/src/mbe/macro_parser.rs
View File

@ -439,9 +439,8 @@ fn nameize<I: Iterator<Item = NamedMatch>>(
} }
Occupied(..) => return Err((sp, format!("duplicated bind name: {}", bind_name))), Occupied(..) => return Err((sp, format!("duplicated bind name: {}", bind_name))),
}, },
// FIXME(c410-f3r) MetaVar and MetaVarExpr should be handled instead of being ignored TokenTree::Token(..) => (),
// https://github.com/rust-lang/rust/issues/9390 TokenTree::MetaVar(..) | TokenTree::MetaVarExpr(..) => unreachable!(),
TokenTree::MetaVar(..) | TokenTree::MetaVarExpr(..) | TokenTree::Token(..) => {}
} }
Ok(()) Ok(())
@ -655,7 +654,9 @@ fn inner_parse_loop<'root, 'tt>(
// rules. NOTE that this is not necessarily an error unless _all_ items in // rules. NOTE that this is not necessarily an error unless _all_ items in
// `cur_items` end up doing this. There may still be some other matchers that do // `cur_items` end up doing this. There may still be some other matchers that do
// end up working out. // end up working out.
TokenTree::Token(..) | TokenTree::MetaVar(..) | TokenTree::MetaVarExpr(..) => {} TokenTree::Token(..) => {}
TokenTree::MetaVar(..) | TokenTree::MetaVarExpr(..) => unreachable!(),
} }
} }
} }