Add unreachable!() as option

diff --git a/clippy_lints/src/assert_checks.rs b/clippy_lints/src/assert_checks.rs
index ecd71952b93ca2235d79f82253c4d9273ac67e73..dcc11951b267d06b43117b263a3221dd81dd2bb4 100644 (file)
--- a/clippy_lints/src/assert_checks.rs
+++ b/clippy_lints/src/assert_checks.rs
@@ -32,7 +32,7 @@
 
 /// **What it does:** Check explicit call assert!(false)
 ///
-/// **Why is this bad?** Should probably be replaced by a panic!()
+/// **Why is this bad?** Should probably be replaced by a panic!() or unreachable!()
 ///
 /// **Known problems:** None
 ///
@@ -43,7 +43,7 @@
 declare_clippy_lint! {
     pub EXPLICIT_FALSE,
     correctness,
-    "assert!(false) should probably be replaced by a panic!()r"
+    "assert!(false) should probably be replaced by a panic!() or unreachable!()"
 }
 
 pub struct AssertChecks;
@@ -68,7 +68,7 @@ fn check_expr(&mut self, cx: &LateContext<'a, 'tcx>, e: &'tcx Expr) {
                     },
                     LitKind::Bool(false) => {
                         span_lint(cx, EXPLICIT_FALSE, e.span,
-                            "assert!(false) should probably be replaced by a panic!()");
+                            "assert!(false) should probably be replaced by a panic!() or unreachable!()");
                     },
                     _ => (),
                 }

diff --git a/tests/ui/assert_checks.stderr b/tests/ui/assert_checks.stderr
index fd7e4e014201dfeff8e408f2ac8b9d5f320913a3..e203994165061e1ad0b6ec3380d3f569d283dbb3 100644 (file)
--- a/tests/ui/assert_checks.stderr
+++ b/tests/ui/assert_checks.stderr
@@ -6,7 +6,7 @@ error: assert!(true) will be optimized out by the compiler
    |
    = note: #[deny(clippy::explicit_true)] on by default
 
-error: assert!(false) should probably be replaced by a panic!()
+error: assert!(false) should probably be replaced by a panic!() or unreachable!()
   --> $DIR/assert_checks.rs:12:5
    |
 12 |     assert!(false);