From b8b56033836c07234f8415dab09dc250e730a1c2 Mon Sep 17 00:00:00 2001
From: Matthias Seitz <matthias.seitz@outlook.de>
Date: Fri, 9 Feb 2024 13:12:56 +0100
Subject: [PATCH] chore(clippy): make clippy happy

---
 src/project_util/mock.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/project_util/mock.rs b/src/project_util/mock.rs
index af8e4034..46324390 100644
--- a/src/project_util/mock.rs
+++ b/src/project_util/mock.rs
@@ -380,6 +380,7 @@ trait NamingStrategy {
     fn new_source_file_name(&mut self, id: usize) -> String;
 
     /// Return a new name for the given source file id
+    #[allow(unused)]
     fn new_lib_file_name(&mut self, id: usize) -> String;
 
     /// Return a new name for the given lib id
@@ -388,9 +389,8 @@ trait NamingStrategy {
 
 /// A primitive naming that simply uses ids to create unique names
 #[derive(Debug, Clone, Copy, Default)]
-pub struct SimpleNamingStrategy {
-    _priv: (),
-}
+#[non_exhaustive]
+pub struct SimpleNamingStrategy;
 
 impl NamingStrategy for SimpleNamingStrategy {
     fn new_source_file_name(&mut self, id: usize) -> String {