From e5b58b089ed94a91581a44d0b6d670f18517ff34 Mon Sep 17 00:00:00 2001
From: Dylan MacKenzie <ecstaticmorse@gmail.com>
Date: Sun, 19 Apr 2020 16:20:06 -0700
Subject: [PATCH] Note that some terminators should cause an error

---
 src/librustc_mir/transform/check_consts/validation.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/librustc_mir/transform/check_consts/validation.rs b/src/librustc_mir/transform/check_consts/validation.rs
index d2d5e95a1de9..b1cc7edc7743 100644
--- a/src/librustc_mir/transform/check_consts/validation.rs
+++ b/src/librustc_mir/transform/check_consts/validation.rs
@@ -580,6 +580,8 @@ impl Visitor<'tcx> for Validator<'_, 'mir, 'tcx> {
                 }
             }
 
+            // FIXME: Some of these are only caught by `min_const_fn`, but should error here
+            // instead.
             TerminatorKind::Abort
             | TerminatorKind::Assert { .. }
             | TerminatorKind::FalseEdges { .. }