bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Add a useful assertion.

Browse source
This commit is contained in:
Nicholas Nethercote 2022-03-10 10:06:57 +11:00
parent 4d4baf7c9a
commit 9f0798b2eb
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_expand/src/mbe/macro_parser.rs
View file

@ -521,6 +521,8 @@ fn inner_parse_loop<'root, 'tt>(
// then we could be at the end of a sequence or at the beginning of the next // then we could be at the end of a sequence or at the beginning of the next
// repetition. // repetition.
if let Some(repetition) = &item.repetition { if let Some(repetition) = &item.repetition {
debug_assert!(matches!(item.top_elts, Tt(TokenTree::Sequence(..))));
// At this point, regardless of whether there is a separator, we should add all // At this point, regardless of whether there is a separator, we should add all
// matches from the complete repetition of the sequence to the shared, top-level // matches from the complete repetition of the sequence to the shared, top-level
// `matches` list (actually, `up.matches`, which could itself not be the top-level, // `matches` list (actually, `up.matches`, which could itself not be the top-level,