diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-12-20 06:33:19 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-12-20 06:33:19 +0000 |
| commit | 87886e89867d36c14812e70505c4db61a6b66bf0 (patch) | |
| tree | fe3bb04239ea3cc274f795246daa9c1851bb9032 /crates/mbe/src/mbe_expander | |
| parent | 02fb3cb542c676ffcd627d5ac5092aa3a5d71d30 (diff) | |
| parent | 75a26f64ff8aa4fcacd849b2b3cde8f688baa789 (diff) | |
Merge #6929
6929: Handle $_ in mbe r=edwin0cheng a=lnicola
Fixes #6926
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'crates/mbe/src/mbe_expander')
| -rw-r--r-- | crates/mbe/src/mbe_expander/transcriber.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/mbe/src/mbe_expander/transcriber.rs b/crates/mbe/src/mbe_expander/transcriber.rs index 616119ba9..57592dc92 100644 --- a/crates/mbe/src/mbe_expander/transcriber.rs +++ b/crates/mbe/src/mbe_expander/transcriber.rs | |||
| @@ -97,7 +97,7 @@ fn expand_subtree( | |||
| 97 | err = err.or(e); | 97 | err = err.or(e); |
| 98 | arena.push(tt.into()); | 98 | arena.push(tt.into()); |
| 99 | } | 99 | } |
| 100 | Op::Var { name, kind: _ } => { | 100 | Op::Var { name, .. } => { |
| 101 | let ExpandResult { value: fragment, err: e } = expand_var(ctx, name); | 101 | let ExpandResult { value: fragment, err: e } = expand_var(ctx, name); |
| 102 | err = err.or(e); | 102 | err = err.or(e); |
| 103 | push_fragment(arena, fragment); | 103 | push_fragment(arena, fragment); |