couple of clippy::perf fixes

This commit is contained in:
Matthias Krüger 2022-04-13 22:18:28 +02:00
parent 0d13f6afeb
commit bbd7ce6904
6 changed files with 6 additions and 7 deletions

View file

@ -589,7 +589,7 @@ impl TtParser {
(_, 0) => {
// Dump all possible `next_mps` into `cur_mps` for the next iteration. Then
// process the next token.
self.cur_mps.extend(self.next_mps.drain(..));
self.cur_mps.append(&mut self.next_mps);
parser.to_mut().bump();
}