From 5c2a84946daf01300d4b59736e6601c95a3f0afc Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 31 Mar 2022 03:00:56 +0100
Subject: [PATCH] clippy: Miscellaneous minor changes, and allow lints

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 clippy-options      | 1 +
 src/termprogress.rs | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/clippy-options b/clippy-options
index de528dad..aa748070 100644
--- a/clippy-options
+++ b/clippy-options
@@ -32,3 +32,4 @@
 -A clippy::unnecessary_lazy_evaluations
 -A clippy::map_flatten
 -A clippy::manual_split_once
+-A clippy::expect_fun_call
diff --git a/src/termprogress.rs b/src/termprogress.rs
index 69a84f8d..d56c01f9 100644
--- a/src/termprogress.rs
+++ b/src/termprogress.rs
@@ -32,7 +32,7 @@ pub fn reporter() -> Box<dyn Reporter> {
   let mut recheck_width = true;
   let width = if let Ok(val) = env::var(FORCE_VAR) {
     let mut val = &val[..];
-    if let Some(rhs) = val.strip_prefix("+") {
+    if let Some(rhs) = val.strip_prefix('+') {
         val = rhs;
         newlines = true;
     }
-- 
2.30.2