about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--src/base.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base.rs b/src/base.rs
index 963e5de91ce..e04501d5705 100644
--- a/src/base.rs
+++ b/src/base.rs
@@ -907,7 +907,7 @@ fn codegen_stmt<'tcx>(
         | StatementKind::PlaceMention(..)
         | StatementKind::AscribeUserType(..) => {}
 
-        StatementKind::Coverage { .. } => fx.tcx.dcx().fatal("-Zcoverage is unimplemented"),
+        StatementKind::Coverage { .. } => unreachable!(),
         StatementKind::Intrinsic(ref intrinsic) => match &**intrinsic {
             // We ignore `assume` intrinsics, they are only useful for optimizations
             NonDivergingIntrinsic::Assume(_) => {}