From 9ad1d8f0b47164ebf35eed2bfe09d4c348f96fe8 Mon Sep 17 00:00:00 2001 From: Clement Tsang <34804052+ClementTsang@users.noreply.github.com> Date: Fri, 27 Jan 2023 18:13:17 -0500 Subject: [PATCH] other: ignore uninlined_format_args clippy lint for now (#1004) --- build.rs | 3 +-- src/bin/main.rs | 1 + src/lib.rs | 1 + 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/build.rs b/build.rs index a37ecf19..7b5c0161 100644 --- a/build.rs +++ b/build.rs @@ -13,8 +13,7 @@ fn create_dir(dir: &Path) -> io::Result<()> { Ok(()) => {} Err(err) => { eprintln!( - "Failed to create a directory at location {:?}, encountered error {:?}. Aborting...", - dir, err + "Failed to create a directory at location {dir:?}, encountered error {err:?}. Aborting...", ); } } diff --git a/src/bin/main.rs b/src/bin/main.rs index 806efe3b..fe0b39fa 100644 --- a/src/bin/main.rs +++ b/src/bin/main.rs @@ -1,4 +1,5 @@ #![warn(rust_2018_idioms)] +#![allow(clippy::uninlined_format_args)] #[allow(unused_imports)] #[cfg(feature = "log")] #[macro_use] diff --git a/src/lib.rs b/src/lib.rs index 7f764e9c..33efbf42 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -6,6 +6,7 @@ //! bottom, refer to [here](https://clementtsang.github.io/bottom/stable/). #![warn(rust_2018_idioms)] +#![allow(clippy::uninlined_format_args)] #[allow(unused_imports)] #[cfg(feature = "log")] #[macro_use]