Do not suggest compatible variants inside macro

Signed-off-by: xizheyin <[email protected]>

Author: xizheyin

compiler/rustc_hir_typeck/src/fn_ctxt/suggestions.rs

@@ -2409,16 +2409,21 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                 let (open, close) = match ctor_kind {
                     Some(CtorKind::Fn) => ("(".to_owned(), ")"),
                     None => (format!(" {{ {field_name}: "), " }"),
-
                     Some(CtorKind::Const) => unreachable!("unit variants don't have fields"),
                 };
 
-                // Suggest constructor as deep into the block tree as possible.
-                // This fixes https://github.com/rust-lang/rust/issues/101065,
-                // and also just helps make the most minimal suggestions.
+                // Find the deepest expression in the block tree while staying within the same
+                // context. This ensures that suggestions point to user-visible code
+                // rather than macro-expanded internal code.
+                //
+                // For example, with `println!("A")`, we want to suggest wrapping the entire
+                // `println!("A")` call, not some internal macro-generated code.
+                // See #101065, #142359
                 let mut expr = expr;
                 while let hir::ExprKind::Block(block, _) = &expr.kind
                     && let Some(expr_) = &block.expr
+                    // Only traverse blocks in same context
+                    && expr_.span.eq_ctxt(expr.span)
                 {
                     expr = expr_
                 }

tests/ui/typeck/suggestions/suggest-compatible-variants-macro-issue-142359.stderr

@@ -13,6 +13,10 @@ LL | |     };
    = note:   expected enum `ControlFlow<i32, _>`
            found unit type `()`
    = note: this error originates in the macro `println` (in Nightly builds, run with -Z macro-backtrace for more info)
+help: try wrapping the expression in `std::ops::ControlFlow::Continue`
+   |
+LL |         Ok(r) => std::ops::ControlFlow::Continue({ println!("A")})
+   |                  ++++++++++++++++++++++++++++++++                +
 
 error: aborting due to 1 previous error