From fe97990e2395d46aceb9472fd04704c623c8eb0e Mon Sep 17 00:00:00 2001
From: ecstatic-morse <ecstaticmorse@gmail.com>
Date: Sun, 4 Oct 2020 13:02:54 -0700
Subject: [PATCH] Add comment to `Abort` match arm

Co-authored-by: Ralf Jung <post@ralfj.de>
---
 compiler/rustc_mir/src/transform/check_consts/validation.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/compiler/rustc_mir/src/transform/check_consts/validation.rs b/compiler/rustc_mir/src/transform/check_consts/validation.rs
index cb9feba260f..94806116eaf 100644
--- a/compiler/rustc_mir/src/transform/check_consts/validation.rs
+++ b/compiler/rustc_mir/src/transform/check_consts/validation.rs
@@ -882,6 +882,7 @@ impl Visitor<'tcx> for Validator<'mir, 'tcx> {
             }
 
             TerminatorKind::Abort => {
+                // Cleanup blocks are skipped for const checking (see `visit_basic_block_data`).
                 span_bug!(self.span, "`Abort` terminator outside of cleanup block")
             }