Breaking tokens into pieces should behave similar to Parser::bump.
Previously when breaking tokens into smaller pieces, the replace_token function have been used. It replaced current token and updated span information, but it did not clear the list of expected tokens, neither did it update remaining info about last token. This could lead to incorrect error message, like one described in the issue #24780: expected one of ... `>` ... found `>`
This commit is contained in:
parent
695c907dcc
commit
cecf83f592
@ -682,7 +682,7 @@ fn expect_and(&mut self) -> PResult<'a, ()> {
|
||||
token::AndAnd => {
|
||||
let span = self.span;
|
||||
let lo = span.lo + BytePos(1);
|
||||
Ok(self.replace_token(token::BinOp(token::And), lo, span.hi))
|
||||
Ok(self.bump_with(token::BinOp(token::And), lo, span.hi))
|
||||
}
|
||||
_ => self.unexpected()
|
||||
}
|
||||
@ -717,7 +717,7 @@ fn eat_lt(&mut self) -> bool {
|
||||
token::BinOp(token::Shl) => {
|
||||
let span = self.span;
|
||||
let lo = span.lo + BytePos(1);
|
||||
self.replace_token(token::Lt, lo, span.hi);
|
||||
self.bump_with(token::Lt, lo, span.hi);
|
||||
true
|
||||
}
|
||||
_ => false,
|
||||
@ -745,17 +745,17 @@ pub fn expect_gt(&mut self) -> PResult<'a, ()> {
|
||||
token::BinOp(token::Shr) => {
|
||||
let span = self.span;
|
||||
let lo = span.lo + BytePos(1);
|
||||
Ok(self.replace_token(token::Gt, lo, span.hi))
|
||||
Ok(self.bump_with(token::Gt, lo, span.hi))
|
||||
}
|
||||
token::BinOpEq(token::Shr) => {
|
||||
let span = self.span;
|
||||
let lo = span.lo + BytePos(1);
|
||||
Ok(self.replace_token(token::Ge, lo, span.hi))
|
||||
Ok(self.bump_with(token::Ge, lo, span.hi))
|
||||
}
|
||||
token::Ge => {
|
||||
let span = self.span;
|
||||
let lo = span.lo + BytePos(1);
|
||||
Ok(self.replace_token(token::Eq, lo, span.hi))
|
||||
Ok(self.bump_with(token::Eq, lo, span.hi))
|
||||
}
|
||||
_ => {
|
||||
let gt_str = Parser::token_to_string(&token::Gt);
|
||||
@ -977,15 +977,23 @@ pub fn bump_and_get(&mut self) -> token::Token {
|
||||
old_token
|
||||
}
|
||||
|
||||
/// EFFECT: replace the current token and span with the given one
|
||||
pub fn replace_token(&mut self,
|
||||
next: token::Token,
|
||||
lo: BytePos,
|
||||
hi: BytePos) {
|
||||
/// Advance the parser using provided token as a next one. Use this when
|
||||
/// consuming a part of a token. For example a single `<` from `<<`.
|
||||
pub fn bump_with(&mut self,
|
||||
next: token::Token,
|
||||
lo: BytePos,
|
||||
hi: BytePos) {
|
||||
self.last_span = mk_sp(self.span.lo, lo);
|
||||
self.token = next;
|
||||
// It would be incorrect to just stash current token, but fortunately
|
||||
// for tokens currently using `bump_with`, last_token will be of no
|
||||
// use anyway.
|
||||
self.last_token = None;
|
||||
self.last_token_interpolated = false;
|
||||
self.span = mk_sp(lo, hi);
|
||||
self.token = next;
|
||||
self.expected_tokens.clear();
|
||||
}
|
||||
|
||||
pub fn buffer_length(&mut self) -> isize {
|
||||
if self.buffer_start <= self.buffer_end {
|
||||
return self.buffer_end - self.buffer_start;
|
||||
|
20
src/test/parse-fail/issue-24780.rs
Normal file
20
src/test/parse-fail/issue-24780.rs
Normal file
@ -0,0 +1,20 @@
|
||||
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
|
||||
// file at the top-level directory of this distribution and at
|
||||
// http://rust-lang.org/COPYRIGHT.
|
||||
//
|
||||
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
||||
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
||||
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
||||
// option. This file may not be copied, modified, or distributed
|
||||
// except according to those terms.
|
||||
|
||||
// Verify that '>' is not both expected and found at the same time, as it used
|
||||
// to happen in #24780. For example, following should be an error:
|
||||
// expected one of ..., `>`, ... found `>`
|
||||
//
|
||||
// compile-flags: -Z parse-only
|
||||
|
||||
fn foo() -> Vec<usize>> {
|
||||
//~^ ERROR expected one of `!`, `::`, `where`, or `{`, found `>`
|
||||
Vec::new()
|
||||
}
|
Loading…
Reference in New Issue
Block a user