fix

Author: yossydev

compiler/rustc_hir_typeck/src/coercion.rs

@@ -1666,26 +1666,9 @@ impl<'tcx, 'exprs, E: AsCoercionSite> CoerceMany<'tcx, 'exprs, E> {
         ret_exprs: &Vec<&'tcx hir::Expr<'tcx>>,
         ty: Ty<'tcx>,
     ) {
-        let hir = tcx.hir();
-        let item = hir.get_parent_item(expr.hir_id);
-
-        if let Some(node) = tcx.opt_hir_node(item.into())
-            && let Some(body_id) = node.body_id()
-            && let Some(sig) = node.fn_sig()
-            && let hir::ExprKind::Block(block, _) = hir.body(body_id).value.kind
-            && !ty.is_never()
-        {
-            for stmt in block.stmts {
-                if let hir::StmtKind::Local(local) = stmt.kind {
-                    if let hir::PatKind::Binding(_, _, _, None) = local.pat.kind {
-                        err.span_note(
-                            stmt.span,
-                            "This pattern has a single binding, which might cause issues if the loop doesn't execute. Consider handling the case where the loop might not run.",
-                        );
-                    }
-                }
-            }
-        }
+        let hir::ExprKind::Loop(_, _, _, loop_span) = expr.kind else {
+            return;
+        };
         let mut span: MultiSpan = vec![loop_span].into();
         span.push_span_label(loop_span, "this might have zero elements to iterate on");
         const MAXITER: usize = 3;
@@ -1717,6 +1700,16 @@ impl<'tcx, 'exprs, E: AsCoercionSite> CoerceMany<'tcx, 'exprs, E> {
             && let hir::ExprKind::Block(block, _) = hir.body(body_id).value.kind
             && !ty.is_never()
         {
+            for stmt in block.stmts {
+                if let hir::StmtKind::Local(local) = stmt.kind {
+                    if let hir::PatKind::Binding(_, _, _, None) = local.pat.kind {
+                        err.span_note(
+                            stmt.span,
+                            "This pattern has a single binding, which might cause issues if the loop doesn't execute. Consider handling the case where the loop might not run.",
+                        );
+                    }
+                }
+            }
             let indentation = if let None = block.expr
                 && let [.., last] = &block.stmts
             {