From db9f9e65013419e87af78c54727f1b4f44bf75b2 Mon Sep 17 00:00:00 2001
From: mu001999 <mu001999@outlook.com>
Date: Sun, 18 Jan 2026 13:38:19 +0800
Subject: [PATCH] Use find_attr instead of attr::contains_name in
 lower_const_item_rhs

---
 compiler/rustc_ast_lowering/src/lib.rs        |  2 +-
 .../type-const-assoc-const-without-body.rs    | 19 +++++++++++++++++++
 ...type-const-assoc-const-without-body.stderr | 10 ++++++++++
 ...const-inherent-assoc-const-without-body.rs | 12 ++++++++++++
 ...t-inherent-assoc-const-without-body.stderr | 17 +++++++++++++++++
 5 files changed, 59 insertions(+), 1 deletion(-)
 create mode 100644 tests/ui/const-generics/mgca/type-const-assoc-const-without-body.rs
 create mode 100644 tests/ui/const-generics/mgca/type-const-assoc-const-without-body.stderr
 create mode 100644 tests/ui/const-generics/mgca/type-const-inherent-assoc-const-without-body.rs
 create mode 100644 tests/ui/const-generics/mgca/type-const-inherent-assoc-const-without-body.stderr

diff --git a/compiler/rustc_ast_lowering/src/lib.rs b/compiler/rustc_ast_lowering/src/lib.rs
index 51d1fd20cec6e..8c6ee9d6bc630 100644
--- a/compiler/rustc_ast_lowering/src/lib.rs
+++ b/compiler/rustc_ast_lowering/src/lib.rs
@@ -2384,7 +2384,7 @@ impl<'a, 'hir> LoweringContext<'a, 'hir> {
             Some(ConstItemRhs::TypeConst(anon)) => {
                 hir::ConstItemRhs::TypeConst(self.lower_anon_const_to_const_arg_and_alloc(anon))
             }
-            None if attr::contains_name(attrs, sym::type_const) => {
+            None if find_attr!(attrs, AttributeKind::TypeConst(_)) => {
                 let const_arg = ConstArg {
                     hir_id: self.next_id(),
                     kind: hir::ConstArgKind::Error(
diff --git a/tests/ui/const-generics/mgca/type-const-assoc-const-without-body.rs b/tests/ui/const-generics/mgca/type-const-assoc-const-without-body.rs
new file mode 100644
index 0000000000000..158a7addd10da
--- /dev/null
+++ b/tests/ui/const-generics/mgca/type-const-assoc-const-without-body.rs
@@ -0,0 +1,19 @@
+//@ needs-rustc-debug-assertions
+
+#![feature(min_generic_const_args)]
+#![expect(incomplete_features)]
+
+trait Tr {
+    #[type_const]
+    const SIZE: usize;
+}
+
+struct T;
+
+impl Tr for T {
+    #[type_const]
+    const SIZE: usize;
+    //~^ ERROR associated constant in `impl` without body
+}
+
+fn main() {}
diff --git a/tests/ui/const-generics/mgca/type-const-assoc-const-without-body.stderr b/tests/ui/const-generics/mgca/type-const-assoc-const-without-body.stderr
new file mode 100644
index 0000000000000..2db677aa0ca64
--- /dev/null
+++ b/tests/ui/const-generics/mgca/type-const-assoc-const-without-body.stderr
@@ -0,0 +1,10 @@
+error: associated constant in `impl` without body
+  --> $DIR/type-const-assoc-const-without-body.rs:15:5
+   |
+LL |     const SIZE: usize;
+   |     ^^^^^^^^^^^^^^^^^-
+   |                      |
+   |                      help: provide a definition for the constant: `= <expr>;`
+
+error: aborting due to 1 previous error
+
diff --git a/tests/ui/const-generics/mgca/type-const-inherent-assoc-const-without-body.rs b/tests/ui/const-generics/mgca/type-const-inherent-assoc-const-without-body.rs
new file mode 100644
index 0000000000000..85b2327d33515
--- /dev/null
+++ b/tests/ui/const-generics/mgca/type-const-inherent-assoc-const-without-body.rs
@@ -0,0 +1,12 @@
+//@ needs-rustc-debug-assertions
+
+#![feature(min_generic_const_args)]
+#![expect(incomplete_features)]
+
+impl S { //~ ERROR cannot find type `S` in this scope
+    #[type_const]
+    const SIZE: usize;
+    //~^ ERROR associated constant in `impl` without body
+}
+
+fn main() {}
diff --git a/tests/ui/const-generics/mgca/type-const-inherent-assoc-const-without-body.stderr b/tests/ui/const-generics/mgca/type-const-inherent-assoc-const-without-body.stderr
new file mode 100644
index 0000000000000..ac520a4e69469
--- /dev/null
+++ b/tests/ui/const-generics/mgca/type-const-inherent-assoc-const-without-body.stderr
@@ -0,0 +1,17 @@
+error: associated constant in `impl` without body
+  --> $DIR/type-const-inherent-assoc-const-without-body.rs:8:5
+   |
+LL |     const SIZE: usize;
+   |     ^^^^^^^^^^^^^^^^^-
+   |                      |
+   |                      help: provide a definition for the constant: `= <expr>;`
+
+error[E0425]: cannot find type `S` in this scope
+  --> $DIR/type-const-inherent-assoc-const-without-body.rs:6:6
+   |
+LL | impl S {
+   |      ^ not found in this scope
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0425`.