From 8b8ed7c0b628b78b214e624c41fd2f20c203cd1a Mon Sep 17 00:00:00 2001 From: Thomas de Zeeuw Date: Thu, 5 Dec 2024 10:33:53 +0100 Subject: [PATCH] Ignore clippy::needless-lifetimes The lifetimes serve as documentation. --- src/lib.rs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/lib.rs b/src/lib.rs index 8f593163..c461ee1b 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -6,6 +6,8 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. +#![allow(clippy::needless_lifetimes)] + //! Utilities for creating and using sockets. //! //! The goal of this crate is to create and use a socket using advanced