diff options
| -rw-r--r-- | src/librustc_mir/transform/qualify_min_const_fn.rs | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/librustc_mir/transform/qualify_min_const_fn.rs b/src/librustc_mir/transform/qualify_min_const_fn.rs index cb6f94adbf0..c5fa9df528c 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())) |