mirrors/RustPython-Parser
1
0
Fork 0
mirror of https://github.com/RustPython/Parser.git synced 2025-07-08 05:35:22 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Hint that the unwrap should always succeed.

Browse source
This commit is contained in:
Dimitris Fasarakis Hilliard 2023-02-01 12:17:33 +02:00
parent c8005694c7
commit bff9884df1
1 changed files with 5 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

6
parser/src/lexer.rs
View file

@ -1125,7 +1125,11 @@ where
fn eat_single_char(&mut self, ty: Tok) {
let tok_start = self.get_pos();
self.next_char();
self.next_char().unwrap_or_else(|| unsafe {
// SAFETY: eat_single_char has been called only after a character has been read
// from the window, so the window is guaranteed to be non-empty.
std::hint::unreachable_unchecked()
});
let tok_end = self.get_pos();
self.emit((tok_start, ty, tok_end));
}