chore: remove unneeded attribute after MSRV bump to 1.61 (#3961)

This commit is contained in:
Poliorcetics 2022-09-25 15:12:33 +02:00 committed by GitHub
parent 1a4a9b86d7
commit e8f0886b21
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -367,7 +367,6 @@ pub fn score(&mut self) {
} else if pattern.starts_with(&self.previous_pattern) {
// optimization: if the pattern is a more specific version of the previous one
// then we can score the filtered set.
#[allow(unstable_name_collisions)]
self.matches.retain_mut(|(index, score)| {
let option = &self.options[*index];
let text = option.sort_text(&self.editor_data);