From 43599a9e78e07233dca8034be85a340e6ec20eec Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Fri, 6 Jan 2023 17:25:46 -0800 Subject: [PATCH] Remove redundant #![allow()] from main_native (#1703) `main_native.rs` is a module of `main.rs`, so the `#![allow()]`s in the latter apply to the former automatically. Signed-off-by: Anders Kaseorg --- src/main_native.rs | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/src/main_native.rs b/src/main_native.rs index aa4442ef1f..20d48bf615 100644 --- a/src/main_native.rs +++ b/src/main_native.rs @@ -1,16 +1,3 @@ -#![allow( - clippy::collapsible_else_if, - clippy::collapsible_if, - clippy::implicit_hasher, - clippy::match_same_arms, - clippy::missing_errors_doc, - clippy::missing_panics_doc, - clippy::module_name_repetitions, - clippy::must_use_candidate, - clippy::similar_names, - clippy::too_many_lines -)] - use std::io::{self}; use std::path::{Path, PathBuf}; use std::process::ExitCode;