about summary refs log tree commit diff
path: root/compiler/rustc_parse/src
diff options
context:
space:
mode:
authorNilstrieb <48135649+Nilstrieb@users.noreply.github.com>2022-12-11 21:46:30 +0100
committerNilstrieb <48135649+Nilstrieb@users.noreply.github.com>2022-12-12 17:05:27 +0100
commitd72a0c437bd2db922b954af7b0278e1f4bf31edf (patch)
tree64c689e5201e810e2bcc3fa2a5482dc73dd49e15 /compiler/rustc_parse/src
parent32da2305880765a4c76180086959a2d5da131565 (diff)
downloadrust-d72a0c437bd2db922b954af7b0278e1f4bf31edf.tar.gz
rust-d72a0c437bd2db922b954af7b0278e1f4bf31edf.zip
Properly calculate best failure in macro matching
Previously, we used spans. This was not good. Sometimes, the span of the
token that failed to match may come from a position later in the file
which has been transcribed into a token stream way earlier in the file.
If precisely this token fails to match, we think that it was the best
match because its span is so high, even though other arms might have
gotten further in the token stream.

We now try to properly use the location in the token stream.
Diffstat (limited to 'compiler/rustc_parse/src')
-rw-r--r--compiler/rustc_parse/src/parser/mod.rs4
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_parse/src/parser/mod.rs b/compiler/rustc_parse/src/parser/mod.rs
index bebb012660a..008388e3da3 100644
--- a/compiler/rustc_parse/src/parser/mod.rs
+++ b/compiler/rustc_parse/src/parser/mod.rs
@@ -1503,6 +1503,10 @@ impl<'a> Parser<'a> {
     pub fn clear_expected_tokens(&mut self) {
         self.expected_tokens.clear();
     }
+
+    pub fn approx_token_stream_pos(&self) -> usize {
+        self.token_cursor.num_next_calls
+    }
 }
 
 pub(crate) fn make_unclosed_delims_error(