clarify an unreachable branch

Author: folkertdev

compiler/rustc_mir_build/src/builder/scope.rs

@@ -750,7 +750,16 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
                 (break_index, None)
             }
             BreakableTarget::ConstContinue(scope) => {
-                assert!(value.is_some());
+                let Some(value) = value else {
+                    span_bug!(span, "#[const_continue] must break with a value")
+                };
+
+                // A break can only break out of a scope, so the value should be a scope
+                let rustc_middle::thir::ExprKind::Scope { value, .. } = self.thir[value].kind
+                else {
+                    span_bug!(span, "break value must be a scope")
+                };
+
                 let break_index = self
                     .scopes
                     .const_continuable_scopes
@@ -762,12 +771,6 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
                         span_bug!(span, "no enclosing const-continuable scope found")
                     });
 
-                let rustc_middle::thir::ExprKind::Scope { value, .. } =
-                    self.thir[value.unwrap()].kind
-                else {
-                    panic!();
-                };
-
                 let scope = &self.scopes.const_continuable_scopes[break_index];
 
                 let state_ty = self.local_decls[scope.state_place.as_local().unwrap()].ty;