From 4d015293d1cb7ebdd0972e620c3e0f1763ad2ec8 Mon Sep 17 00:00:00 2001 From: David Koloski Date: Wed, 21 Sep 2022 13:02:37 -0400 Subject: Merge commit '7248d06384c6a90de58c04c1f46be88821278d8b' into sync-from-clippy --- clippy_dev/src/new_lint.rs | 1 + 1 file changed, 1 insertion(+) (limited to 'clippy_dev') diff --git a/clippy_dev/src/new_lint.rs b/clippy_dev/src/new_lint.rs index 331b76484b8..02cb13a1d8a 100644 --- a/clippy_dev/src/new_lint.rs +++ b/clippy_dev/src/new_lint.rs @@ -188,6 +188,7 @@ pub(crate) fn get_stabilization_version() -> String { fn get_test_file_contents(lint_name: &str, header_commands: Option<&str>) -> String { let mut contents = format!( indoc! {" + #![allow(unused)] #![warn(clippy::{})] fn main() {{ -- cgit 1.4.1-3-g733a5