From f01c3818c0209196ded18e20af6cbe72d8cd9a19 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Mon, 31 Oct 2022 18:06:49 +0100
Subject: [PATCH] Ignore some false positives

---
 src/cli/error.rs   | 1 +
 src/error.rs       | 3 +++
 src/eval/error.rs  | 1 +
 src/files/error.rs | 2 ++
 4 files changed, 7 insertions(+)

diff --git a/src/cli/error.rs b/src/cli/error.rs
index ef35e12..05b239a 100644
--- a/src/cli/error.rs
+++ b/src/cli/error.rs
@@ -40,6 +40,7 @@ impl<'a, F> Eprint<'a, F> for Error
 where
     F: Files<'a, FileId = FileSource>,
 {
+    #[allow(single_use_lifetimes)]
     fn eprint<'f: 'a>(&self, files: &'f F, config: &Config) {
         match self {
             Self::Eval(e) => e.eprint(files, config),
diff --git a/src/error.rs b/src/error.rs
index b8a658e..2cee250 100644
--- a/src/error.rs
+++ b/src/error.rs
@@ -4,6 +4,7 @@ use codespan_reporting::term::{self, Config};
 use termcolor::StandardStream;
 
 pub trait Eprint<'a, F: Files<'a>> {
+    #[allow(single_use_lifetimes)]
     fn eprint_diagnostic<'f: 'a>(
         files: &'f F,
         config: &Config,
@@ -15,9 +16,11 @@ pub trait Eprint<'a, F: Files<'a>> {
         }
     }
 
+    #[allow(single_use_lifetimes)]
     fn eprint<'f: 'a>(&self, files: &'f F, config: &Config);
 }
 
+#[allow(single_use_lifetimes)]
 pub fn eprint_error<'a, 'f: 'a, F, E>(files: &'f F, e: &E)
 where
     F: Files<'a>,
diff --git a/src/eval/error.rs b/src/eval/error.rs
index d2cd7dd..d2225fb 100644
--- a/src/eval/error.rs
+++ b/src/eval/error.rs
@@ -88,6 +88,7 @@ impl<S> Error<S> {
 }
 
 impl<'a, F: Files<'a>> Eprint<'a, F> for Error<F::FileId> {
+    #[allow(single_use_lifetimes)]
     fn eprint<'f: 'a>(&self, files: &'f F, config: &Config) {
         let diagnostic = match self {
             Error::DeltaInvalidStep {
diff --git a/src/files/error.rs b/src/files/error.rs
index 40fa7f7..f2e961a 100644
--- a/src/files/error.rs
+++ b/src/files/error.rs
@@ -69,6 +69,7 @@ impl<'a, F> Eprint<'a, F> for ParseError<F::FileId>
 where
     F: codespan_reporting::files::Files<'a>,
 {
+    #[allow(single_use_lifetimes)]
     fn eprint<'f: 'a>(&self, files: &'f F, config: &Config) {
         let range = match self.error.location {
             InputLocation::Pos(at) => at..at,
@@ -132,6 +133,7 @@ pub enum Error {
 }
 
 impl<'a> Eprint<'a, Files> for Error {
+    #[allow(single_use_lifetimes)]
     fn eprint<'f: 'a>(&self, files: &'f Files, config: &Config) {
         match self {
             Self::ResolvePath { path, error } => {