From 916b5b6db65d5885ae7f38530d5a710cbc798b16 Mon Sep 17 00:00:00 2001 From: Damian Poddebniak Date: Thu, 21 Dec 2023 10:38:10 +0100 Subject: [PATCH] chore: Fix Clippy lint Co-authored-by: Jakob Schikowski --- tag-generator/src/lib.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/tag-generator/src/lib.rs b/tag-generator/src/lib.rs index f616ecb7..8d4e2339 100644 --- a/tag-generator/src/lib.rs +++ b/tag-generator/src/lib.rs @@ -16,6 +16,7 @@ impl TagGenerator { /// Generate an instance of a `TagGenerator` /// /// Returns a `TagGenerator` generating tags with a unique prefix. + #[allow(clippy::new_without_default)] pub fn new() -> TagGenerator { // There is no synchronization required and we only care about each thread seeing a unique value. let global = GLOBAL_TAG_GENERATOR_COUNT.fetch_add(1, Ordering::Relaxed);