Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/mbe/src/expander.rs')
-rw-r--r--crates/mbe/src/expander.rs14
1 files changed, 7 insertions, 7 deletions
diff --git a/crates/mbe/src/expander.rs b/crates/mbe/src/expander.rs
index 274b779c1b..25e05df7b7 100644
--- a/crates/mbe/src/expander.rs
+++ b/crates/mbe/src/expander.rs
@@ -17,11 +17,11 @@ use crate::{
pub(crate) fn expand_rules(
db: &dyn salsa::Database,
rules: &[crate::Rule],
- input: &tt::TopSubtree<Span>,
+ input: &tt::TopSubtree,
marker: impl Fn(&mut Span) + Copy,
call_style: MacroCallStyle,
call_site: Span,
-) -> ExpandResult<(tt::TopSubtree<Span>, MatchedArmIndex)> {
+) -> ExpandResult<(tt::TopSubtree, MatchedArmIndex)> {
let mut match_: Option<(matcher::Match<'_>, &crate::Rule, usize)> = None;
for (idx, rule) in rules.iter().enumerate() {
// Skip any rules that aren't relevant to the call style (fn-like/attr/derive).
@@ -129,7 +129,7 @@ enum Fragment<'a> {
Empty,
/// token fragments are just copy-pasted into the output
Tokens {
- tree: tt::TokenTreesView<'a, Span>,
+ tree: tt::TokenTreesView<'a>,
origin: TokensOrigin,
},
/// Expr ast fragments are surrounded with `()` on transcription to preserve precedence.
@@ -141,7 +141,7 @@ enum Fragment<'a> {
/// tricky to handle in the parser, and rustc doesn't handle those either.
///
/// The span of the outer delimiters is marked on transcription.
- Expr(tt::TokenTreesView<'a, Span>),
+ Expr(tt::TokenTreesView<'a>),
/// There are roughly two types of paths: paths in expression context, where a
/// separator `::` between an identifier and its following generic argument list
/// is mandatory, and paths in type context, where `::` can be omitted.
@@ -151,8 +151,8 @@ enum Fragment<'a> {
/// and is trasncribed as an expression-context path, verbatim transcription
/// would cause a syntax error. We need to fix it up just before transcribing;
/// see `transcriber::fix_up_and_push_path_tt()`.
- Path(tt::TokenTreesView<'a, Span>),
- TokensOwned(tt::TopSubtree<Span>),
+ Path(tt::TokenTreesView<'a>),
+ TokensOwned(tt::TopSubtree),
}
impl Fragment<'_> {
@@ -162,7 +162,7 @@ impl Fragment<'_> {
Fragment::Tokens { tree, .. } => tree.len() == 0,
Fragment::Expr(it) => it.len() == 0,
Fragment::Path(it) => it.len() == 0,
- Fragment::TokensOwned(it) => it.0.is_empty(),
+ Fragment::TokensOwned(_) => false, // A `TopSubtree` is never empty
}
}
}