From d6fe73db3fea55511db95969d13de5e1f5be327e Mon Sep 17 00:00:00 2001 From: The 8472 Date: Mon, 10 Apr 2023 13:13:09 +0200 Subject: [PATCH] remove unusued feature --- clippy_lints/src/lib.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/clippy_lints/src/lib.rs b/clippy_lints/src/lib.rs index bac82eca8174..b0ec14855e71 100644 --- a/clippy_lints/src/lib.rs +++ b/clippy_lints/src/lib.rs @@ -1,7 +1,6 @@ #![feature(array_windows)] #![feature(binary_heap_into_iter_sorted)] #![feature(box_patterns)] -#![feature(drain_filter)] #![feature(if_let_guard)] #![feature(iter_intersperse)] #![feature(let_chains)]