Auto merge of rust-lang#159316 - jhpratt:rollup-Ap3QBGh, r=jhpratt

Rollup of 15 pull requests

Successful merges:

 - rust-lang#159311 (Add 1.97.1 release notes)
 - rust-lang#156220 (Implement `VecDeque::truncate_to_range`)
 - rust-lang#158608 (Implement `#[diagnostic::opaque]` attribute to hide backtraces of macros.)
 - rust-lang#159168 (Fix static_mut_refs lint check logic)
 - rust-lang#159242 (resolve: Inherit eager invocation parents)
 - rust-lang#159256 (Account for async closures when pointing at lifetime in return type)
 - rust-lang#159310 (cleanup: upstream dropped AMX-TF32)
 - rust-lang#158348 (Add documentation for the `inline` attribute)
 - rust-lang#159181 (add rustc_no_writable to mem::forget and structs it uses)
 - rust-lang#159191 (Mark `PrivateItems` with `std_internals` unstable feature.)
 - rust-lang#159194 (rustdoc: Fix auto trait normalization env)
 - rust-lang#159196 (OnceCell: Improve wording in module docs)
 - rust-lang#159289 (Fix Zulip backport command suggestion)
 - rust-lang#159294 (renovate: don't update PRs in the merge queue)
 - rust-lang#159305 (std: clarify available_parallelism docs for Windows 11 processor groups)

Author: bors

.github/renovate.json5

@@ -13,6 +13,8 @@
   ],
   // Require manual approval from the Dependency Dashboard before opening PRs
   "dependencyDashboardApproval": true,
+  // Renovate shouldn't update a PR if it is in the bors merge queue.
+  "stopUpdatingLabel": "S-waiting-on-bors",
   "packageRules": [
     {
       // No dashboard approval necessary for GitHub Actions updates

RELEASES.md

@@ -1,3 +1,13 @@
+Version 1.97.1 (2026-07-16)
+==========================
+
+<a id="1.97.1"></a>
+
+- [rustc: Fix miscompilation in LLVM optimization](https://github.com/rust-lang/rust/issues/159035)
+  This backports an LLVM submodule bump to include the LLVM-side fix and a
+  revert of the rustc change that is one known trigger for the bug. The rustc
+  side revert should not be strictly necessary but is done out of abundance of caution.
+
 Version 1.97.0 (2026-07-09)
 ==========================
 

compiler/rustc_attr_parsing/src/attributes/diagnostic/mod.rs

@@ -28,6 +28,7 @@ pub(crate) mod on_type_error;
 pub(crate) mod on_unimplemented;
 pub(crate) mod on_unknown;
 pub(crate) mod on_unmatched_args;
+pub(crate) mod opaque;
 
 #[derive(Copy, Clone)]
 pub(crate) enum Mode {

compiler/rustc_attr_parsing/src/attributes/diagnostic/opaque.rs

@@ -0,0 +1,64 @@
+use rustc_feature::AttributeStability;
+use rustc_hir::Target;
+use rustc_hir::attrs::AttributeKind;
+use rustc_session::lint::builtin::MALFORMED_DIAGNOSTIC_ATTRIBUTES;
+use rustc_span::{Span, sym};
+
+use crate::attributes::{AcceptMapping, AttributeParser};
+use crate::context::{AcceptContext, FinalizeContext};
+use crate::diagnostics::OpaqueDoesNotExpectArgs;
+use crate::parser::ArgParser;
+use crate::target_checking::AllowedTargets;
+use crate::target_checking::Policy::Allow;
+use crate::{template, unstable};
+
+#[derive(Default)]
+pub(crate) struct OpaqueParser {
+    attr_span: Option<Span>,
+}
+
+impl AttributeParser for OpaqueParser {
+    const ATTRIBUTES: AcceptMapping<Self> = &[
+        (
+            &[sym::diagnostic, sym::opaque],
+            template!(Word),
+            AttributeStability::Stable, // Unstable, stability checked manually in the parser
+            |this, cx, args| {
+                if !cx.features().diagnostic_opaque() {
+                    return;
+                }
+                this.parse(cx, args);
+            },
+        ),
+        (
+            // For use on exported macros, where using tool attributes is an error.
+            &[sym::rustc_diagnostic_opaque],
+            template!(Word),
+            unstable!(
+                rustc_attrs,
+                "see `#[diagnostic::opaque]` for the nightly equivalent of this attribute"
+            ),
+            OpaqueParser::parse,
+        ),
+    ];
+    const ALLOWED_TARGETS: AllowedTargets<'_> =
+        AllowedTargets::AllowListWarnRest(&[Allow(Target::MacroDef)]);
+
+    fn finalize(self, _cx: &FinalizeContext<'_, '_>) -> Option<AttributeKind> {
+        if let Some(_) = self.attr_span { Some(AttributeKind::Opaque) } else { None }
+    }
+}
+
+impl OpaqueParser {
+    fn parse<'sess>(&mut self, cx: &mut AcceptContext<'_, 'sess>, args: &ArgParser) {
+        let attr_span = cx.attr_span;
+        if let Some(earlier_span) = self.attr_span {
+            cx.warn_unused_duplicate(earlier_span, attr_span);
+        }
+        self.attr_span = Some(attr_span);
+
+        if !matches!(args, ArgParser::NoArgs) {
+            cx.emit_lint(MALFORMED_DIAGNOSTIC_ATTRIBUTES, OpaqueDoesNotExpectArgs, attr_span);
+        }
+    }
+}

compiler/rustc_attr_parsing/src/context.rs

@@ -36,6 +36,7 @@ use crate::attributes::diagnostic::on_type_error::*;
 use crate::attributes::diagnostic::on_unimplemented::*;
 use crate::attributes::diagnostic::on_unknown::*;
 use crate::attributes::diagnostic::on_unmatched_args::*;
+use crate::attributes::diagnostic::opaque::*;
 use crate::attributes::doc::*;
 use crate::attributes::dummy::*;
 use crate::attributes::inline::*;
@@ -151,6 +152,7 @@ attribute_parsers!(
         OnUnimplementedParser,
         OnUnknownParser,
         OnUnmatchedArgsParser,
+        OpaqueParser,
         RustcAlignParser,
         RustcAlignStaticParser,
         RustcCguTestAttributeParser,

compiler/rustc_attr_parsing/src/diagnostics.rs

@@ -279,6 +279,10 @@ pub(crate) struct AttrCrateLevelOnly;
 #[diag("`#[diagnostic::do_not_recommend]` does not expect any arguments")]
 pub(crate) struct DoNotRecommendDoesNotExpectArgs;
 
+#[derive(Diagnostic)]
+#[diag("`#[diagnostic::opaque]` does not expect any arguments")]
+pub(crate) struct OpaqueDoesNotExpectArgs;
+
 #[derive(Diagnostic)]
 #[diag("invalid `crate_type` value")]
 pub(crate) struct UnknownCrateTypes {

compiler/rustc_borrowck/src/diagnostics/region_name.rs

@@ -791,12 +791,18 @@ impl<'tcx> MirBorrowckCtxt<'_, '_, 'tcx> {
     fn give_name_if_anonymous_region_appears_in_output(&self, fr: RegionVid) -> Option<RegionName> {
         let tcx = self.infcx.tcx;
 
-        let return_ty = self.regioncx.universal_regions().unnormalized_output_ty;
+        let mut return_ty = self.regioncx.universal_regions().unnormalized_output_ty;
         debug!("give_name_if_anonymous_region_appears_in_output: return_ty = {:?}", return_ty);
         if !tcx.any_free_region_meets(&return_ty, |r| r.as_var() == fr) {
             return None;
         }
 
+        if let ty::Coroutine(_, args) = return_ty.kind() {
+            // When the return type is identified to be `{async closure body}`, we instead care
+            // about the actual return type of that coroutine.
+            return_ty = args.as_coroutine().return_ty();
+        }
+
         let mir_hir_id = self.mir_hir_id();
 
         let (return_span, mir_description, hir_ty) = match tcx.hir_node(mir_hir_id) {

compiler/rustc_errors/src/emitter.rs

@@ -175,7 +175,7 @@ pub trait Emitter {
                     ExpnKind::Desugaring(..) | ExpnKind::AstPass(..) => None,
 
                     ExpnKind::Macro(macro_kind, name) => {
-                        Some((macro_kind, name, expn_data.hide_backtrace))
+                        Some((macro_kind, name, expn_data.diagnostic_opaque))
                     }
                 }
             })
@@ -188,8 +188,7 @@ pub trait Emitter {
         self.render_multispans_macro_backtrace(span, children, backtrace);
 
         if !backtrace {
-            // Skip builtin macros, as their expansion isn't relevant to the end user. This includes
-            // actual intrinsics, like `asm!`.
+            // Skip macros annotated with `#[diagnostic::opaque]`. Builtin macros are "opaque" too.
             if let Some((macro_kind, name, _)) = has_macro_spans.first()
                 && let Some((_, _, false)) = has_macro_spans.last()
             {
@@ -334,18 +333,25 @@ pub trait Emitter {
     // we move these spans from the external macros to their corresponding use site.
     fn fix_multispan_in_extern_macros(&self, span: &mut MultiSpan) {
         let Some(source_map) = self.source_map() else { return };
+        let should_hide = |span| {
+            source_map.is_imported(span) || {
+                let expn = span.data().ctxt.outer_expn_data();
+                expn.diagnostic_opaque && matches!(expn.kind, ExpnKind::Macro(MacroKind::Bang, _))
+            }
+        };
+
         // First, find all the spans in external macros and point instead at their use site.
         let replacements: Vec<(Span, Span)> = span
             .primary_spans()
             .iter()
             .copied()
             .chain(span.span_labels().iter().map(|sp_label| sp_label.span))
             .filter_map(|sp| {
-                if !sp.is_dummy() && source_map.is_imported(sp) {
+                if !sp.is_dummy() && should_hide(sp) {
                     let mut span = sp;
                     while let Some(callsite) = span.parent_callsite() {
                         span = callsite;
-                        if !source_map.is_imported(span) {
+                        if !should_hide(span) {
                             return Some((sp, span));
                         }
                     }

compiler/rustc_expand/src/base.rs

@@ -797,9 +797,9 @@ pub struct SyntaxExtension {
     /// Should debuginfo for the macro be collapsed to the outermost expansion site (in other
     /// words, was the macro definition annotated with `#[collapse_debuginfo]`)?
     pub collapse_debuginfo: bool,
-    /// Suppresses the "this error originates in the macro" note when a diagnostic points at this
-    /// macro.
-    pub hide_backtrace: bool,
+    /// Prevents diagnostics pointing into this macro and suppresses the "this error originates in
+    /// the macro" note when a diagnostic points at this macro.
+    pub diagnostic_opaque: bool,
 }
 
 impl SyntaxExtension {
@@ -833,7 +833,7 @@ impl SyntaxExtension {
             allow_internal_unsafe: false,
             local_inner_macros: false,
             collapse_debuginfo: false,
-            hide_backtrace: false,
+            diagnostic_opaque: false,
         }
     }
 
@@ -863,12 +863,6 @@ impl SyntaxExtension {
         collapse_table[flag as usize][attr as usize]
     }
 
-    fn get_hide_backtrace(attrs: &[hir::Attribute]) -> bool {
-        // FIXME(estebank): instead of reusing `#[rustc_diagnostic_item]` as a proxy, introduce a
-        // new attribute purely for this under the `#[diagnostic]` namespace.
-        find_attr!(attrs, RustcDiagnosticItem(..))
-    }
-
     /// Constructs a syntax extension with the given properties
     /// and other properties converted from attributes.
     pub fn new(
@@ -903,7 +897,8 @@ impl SyntaxExtension {
             // Not a built-in macro
             None => (None, helper_attrs),
         };
-        let hide_backtrace = builtin_name.is_some() || Self::get_hide_backtrace(attrs);
+        let diagnostic_opaque = builtin_name.is_some()
+            || (!sess.opts.unstable_opts.macro_backtrace && find_attr!(attrs, Opaque));
 
         let stability = find_attr!(attrs, Stability { stability, .. } => *stability);
 
@@ -931,7 +926,7 @@ impl SyntaxExtension {
             allow_internal_unsafe,
             local_inner_macros,
             collapse_debuginfo,
-            hide_backtrace,
+            diagnostic_opaque,
         }
     }
 
@@ -1017,7 +1012,7 @@ impl SyntaxExtension {
             self.allow_internal_unsafe,
             self.local_inner_macros,
             self.collapse_debuginfo,
-            self.hide_backtrace,
+            self.diagnostic_opaque,
         )
     }
 }

compiler/rustc_feature/src/builtin_attrs.rs

@@ -321,6 +321,7 @@ pub static BUILTIN_ATTRIBUTES: &[Symbol] = &[
     // Used by the `rustc::bad_opt_access` lint on fields
     // types (as well as any others in future).
     sym::rustc_lint_opt_deny_field_access,
+    sym::rustc_diagnostic_opaque,
 
     // ==========================================================================
     // Internal attributes, Const related: