Auto merge of #30763 - gchp:issue/30033, r=nagisa
This is achieved by adding the scan_back method. This method looks back
through the source_text of the StringReader until it finds the target
char, returning it's offset in the source. We use this method to find
the offset of the opening single quote, and use that offset as the start
of the error.
Given this code:
```rust
fn main() {
let _ = 'abcd';
}
```
The compiler would give a message like:
```
error: character literal may only contain one codepoint: ';
let _ = 'abcd';
^~
```
With this change, the message now displays:
```
error: character literal may only contain one codepoint: 'abcd';
let _ = 'abcd';
^~~~~~~
```
Fixes #30033
This commit is contained in:
@@ -1195,6 +1195,7 @@ impl<'a> StringReader<'a> {
|
||||
}
|
||||
'\'' => {
|
||||
// Either a character constant 'a' OR a lifetime name 'abc
|
||||
let start_with_quote = self.last_pos;
|
||||
self.bump();
|
||||
let start = self.last_pos;
|
||||
|
||||
@@ -1208,6 +1209,14 @@ impl<'a> StringReader<'a> {
|
||||
while ident_continue(self.curr) {
|
||||
self.bump();
|
||||
}
|
||||
// lifetimes shouldn't end with a single quote
|
||||
// if we find one, then this is an invalid character literal
|
||||
if self.curr_is('\'') {
|
||||
panic!(self.fatal_span_verbose(
|
||||
start_with_quote, self.pos,
|
||||
String::from("character literal may only contain one codepoint")));
|
||||
|
||||
}
|
||||
|
||||
// Include the leading `'` in the real identifier, for macro
|
||||
// expansion purposes. See #12512 for the gory details of why
|
||||
@@ -1233,26 +1242,22 @@ impl<'a> StringReader<'a> {
|
||||
!keyword_checking_token.is_keyword(token::keywords::Static) {
|
||||
self.err_span_(start, last_bpos, "invalid lifetime name");
|
||||
}
|
||||
|
||||
return token::Lifetime(ident);
|
||||
}
|
||||
|
||||
// Otherwise it is a character constant:
|
||||
let valid = self.scan_char_or_byte(start,
|
||||
c2,
|
||||
// ascii_only =
|
||||
false,
|
||||
'\'');
|
||||
if !self.curr_is('\'') {
|
||||
let last_bpos = self.last_pos;
|
||||
panic!(self.fatal_span_verbose(// Byte offsetting here is okay because the
|
||||
// character before position `start` is an
|
||||
// ascii single quote.
|
||||
start - BytePos(1),
|
||||
last_bpos,
|
||||
|
||||
String::from("character literal may only \
|
||||
contain one codepoint")));
|
||||
if !self.curr_is('\'') {
|
||||
panic!(self.fatal_span_verbose(
|
||||
start_with_quote, self.last_pos,
|
||||
String::from("character literal may only contain one codepoint")));
|
||||
}
|
||||
|
||||
let id = if valid {
|
||||
self.name_from(start)
|
||||
} else {
|
||||
|
||||
Reference in New Issue
Block a user