diff --git a/src/main.rs b/src/main.rs index cf557cfe..9186334d 100644 --- a/src/main.rs +++ b/src/main.rs @@ -397,13 +397,9 @@ fn main() { exit(0); } Err(error) => { - match error - .downcast::() - .map(|_| ()) - .or_else(|error| error.downcast::().map(|_| ())) - { - Ok(_) => (), - Err(error) => println!("ERROR: {}", error), + if (error.downcast_ref::().is_some()) || (error.downcast_ref::().is_some()) { + } else { + println!("ERROR: {}", error) } exit(1); }