diff --git a/src/librustc_mir/transform/qualify_min_const_fn.rs b/src/librustc_mir/transform/qualify_min_const_fn.rs index cb6f94adbf08..c5fa9df528cc 100644 --- a/src/librustc_mir/transform/qualify_min_const_fn.rs +++ b/src/librustc_mir/transform/qualify_min_const_fn.rs @@ -333,9 +333,11 @@ fn check_terminator( span, "loops and conditional expressions are not stable in const fn".into(), )), - | TerminatorKind::FalseEdges { .. } - | TerminatorKind::SwitchInt { .. } - => Ok(()), + + TerminatorKind::FalseEdges { .. } => Ok(()), + TerminatorKind::SwitchInt { discr, switch_ty: _, values: _, targets: _ } => { + check_operand(tcx, discr, span, def_id, body) + } | TerminatorKind::Abort | TerminatorKind::Unreachable => { Err((span, "const fn with unreachable code is not stable".into()))