From e8f0886b21d279fedce53d85f53bb537c1ad808e Mon Sep 17 00:00:00 2001 From: Poliorcetics Date: Sun, 25 Sep 2022 15:12:33 +0200 Subject: [PATCH] chore: remove unneeded attribute after MSRV bump to 1.61 (#3961) --- helix-term/src/ui/picker.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/helix-term/src/ui/picker.rs b/helix-term/src/ui/picker.rs index d125a6aa..a56455d7 100644 --- a/helix-term/src/ui/picker.rs +++ b/helix-term/src/ui/picker.rs @@ -367,7 +367,6 @@ impl Picker { } 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);