From 3b01d3039b35c36740fac19774093e50db491fff Mon Sep 17 00:00:00 2001 From: Luke Parker Date: Wed, 27 Sep 2023 12:42:25 -0400 Subject: [PATCH] Remove unused clippy lints from coordinator --- coordinator/src/main.rs | 2 -- 1 file changed, 2 deletions(-) diff --git a/coordinator/src/main.rs b/coordinator/src/main.rs index c54929481..2a79b04f9 100644 --- a/coordinator/src/main.rs +++ b/coordinator/src/main.rs @@ -1,6 +1,4 @@ #![allow(unused_variables)] -#![allow(unreachable_code)] -#![allow(clippy::diverging_sub_expression)] use core::{ops::Deref, future::Future}; use std::{