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 { .. }