diff options
author | Nadrieril | 2019-08-27 22:58:20 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-27 22:58:57 +0200 |
commit | a981afc465f4279a7a4d6ce3ac5844e04846613b (patch) | |
tree | fb548f87f2c6e5be73d0fc44ca49f44b6de80dba /dhall/src/tests.rs | |
parent | 7d11bebc8f2047bb5a26f7f52ae0bd1f60bb6367 (diff) |
clippy
Diffstat (limited to '')
-rw-r--r-- | dhall/src/tests.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs index 074818a..3055717 100644 --- a/dhall/src/tests.rs +++ b/dhall/src/tests.rs @@ -64,7 +64,7 @@ pub enum Status { Failure, } -fn parse_file_str<'i>(file_path: &str) -> Result<Parsed> { +fn parse_file_str(file_path: &str) -> Result<Parsed> { Parsed::parse_file(&PathBuf::from(file_path)) } @@ -80,6 +80,7 @@ pub fn run_test_stringy_error( .map(|_| ()) } +#[allow(clippy::single_match)] pub fn run_test( base_path: &str, feature: Feature, |