Pass struct field HirId when check_expr_struct_fields

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

Author: xizheyin

compiler/rustc_hir_typeck/src/expr.rs

@@ -2060,7 +2060,13 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                 // struct-like enums (yet...), but it's definitely not
                 // a bug to have constructed one.
                 if adt_kind != AdtKind::Enum {
-                    tcx.check_stability(v_field.did, Some(expr.hir_id), field.span, None);
+                    let field_hir_id = match expr.kind {
+                        hir::ExprKind::Struct(_qpath, fields, _tail) if idx < fields.len() => {
+                            Some(fields[idx].expr.hir_id)
+                        }
+                        _ => None,
+                    };
+                    tcx.check_stability(v_field.did, field_hir_id, field.span, None);
                 }
 
                 self.field_ty(field.span, v_field, args)

tests/ui/stability-attribute/check-stability-issue-138319-1.rs

@@ -0,0 +1,15 @@
+//@ run-pass
+fn _foo() {
+    _Bar {
+        #[expect(deprecated)]
+        foo: 0,
+    };
+}
+
+
+struct _Bar {
+    #[deprecated = "reason"]
+    foo: u32,
+}
+
+fn main() {}

tests/ui/stability-attribute/check-stability-issue-138319-2.rs

@@ -0,0 +1,26 @@
+//@ run-pass
+fn _foo() {
+    _Bar { //~ WARNING use of deprecated struct `_Bar`: reason
+        #[expect(deprecated)]
+        foo: 0,
+    };
+}
+
+#[deprecated = "reason"]
+struct _Bar {
+    foo: u32,
+}
+
+fn _foo2() {
+    #[expect(deprecated)]
+    _Bar2 {
+        foo2: 0,
+    };
+}
+
+#[deprecated = "reason"]
+struct _Bar2 {
+    foo2: u32,
+}
+
+fn main() {}

tests/ui/stability-attribute/check-stability-issue-138319-2.stderr

@@ -0,0 +1,10 @@
+warning: use of deprecated struct `_Bar`: reason
+  --> $DIR/check-stability-issue-138319-2.rs:3:5
+   |
+LL |     _Bar {
+   |     ^^^^
+   |
+   = note: `#[warn(deprecated)]` on by default
+
+warning: 1 warning emitted
+