Removed redundant check for label being block for continue

Author: SarthakSingh31

compiler/rustc_passes/messages.ftl

@@ -98,11 +98,6 @@ passes_collapse_debuginfo =
 passes_confusables = attribute should be applied to an inherent method
     .label = not an inherent method
 
-passes_continue_labeled_block =
-    `continue` pointing to a labeled block
-    .label = labeled blocks cannot be `continue`'d
-    .block_label = labeled block the `continue` points to
-
 passes_coverage_not_fn_or_closure =
     attribute should be applied to a function definition or closure
     .label = not a function or closure

compiler/rustc_passes/src/errors.rs

@@ -1052,16 +1052,6 @@ impl<'a, G: EmissionGuarantee> Diagnostic<'_, G> for BreakNonLoop<'a> {
     }
 }
 
-#[derive(Diagnostic)]
-#[diag(passes_continue_labeled_block, code = E0696)]
-pub struct ContinueLabeledBlock {
-    #[primary_span]
-    #[label]
-    pub span: Span,
-    #[label(passes_block_label)]
-    pub block_span: Span,
-}
-
 #[derive(Diagnostic)]
 #[diag(passes_break_inside_closure, code = E0267)]
 pub struct BreakInsideClosure<'a> {

compiler/rustc_passes/src/loops.rs

@@ -15,8 +15,8 @@ use rustc_span::hygiene::DesugaringKind;
 use rustc_span::{BytePos, Span};
 
 use crate::errors::{
-    BreakInsideClosure, BreakInsideCoroutine, BreakNonLoop, ContinueLabeledBlock, OutsideLoop,
-    OutsideLoopSuggestion, UnlabeledCfInWhileCondition, UnlabeledInLabeledBlock,
+    BreakInsideClosure, BreakInsideCoroutine, BreakNonLoop, OutsideLoop, OutsideLoopSuggestion,
+    UnlabeledCfInWhileCondition, UnlabeledInLabeledBlock,
 };
 
 #[derive(Clone, Copy, Debug, PartialEq)]
@@ -266,13 +266,9 @@ impl<'a, 'hir> Visitor<'hir> for CheckLoopVisitor<'a, 'hir> {
                 self.require_label_in_labeled_block(e.span, &destination, "continue");
 
                 match destination.target_id {
-                    Ok(loop_id) => {
-                        if let Node::Block(block) = self.tcx.hir_node(loop_id) {
-                            self.sess.dcx().emit_err(ContinueLabeledBlock {
-                                span: e.span,
-                                block_span: block.span,
-                            });
-                        }
+                    Ok(_loop_id) => {
+                        // We have already insured that the loop exists while lowering the ast.
+                        // See `compiler/rustc_ast_lowering/src/expr.rs::LoweringContext::lower_expr_mut`
                     }
                     Err(hir::LoopIdError::UnlabeledCfInWhileCondition) => {
                         self.sess.dcx().emit_err(UnlabeledCfInWhileCondition {