Correct the type_const_recursive error message to be not vague

Author: Shourya742

compiler/rustc_type_ir/src/predicate.rs

@@ -595,7 +595,7 @@ impl<I: Interner> AliasTermKind<I> {
             AliasTermKind::InherentConst { .. } => "inherent associated const",
             AliasTermKind::OpaqueTy { .. } => "opaque type",
             AliasTermKind::FreeTy { .. } => "type alias",
-            AliasTermKind::FreeConst { .. } => "constant",
+            AliasTermKind::FreeConst { .. } => "alias const",
             AliasTermKind::AnonConst { .. } => "anonymous constant",
         }
     }

tests/ui/const-generics/mgca/cyclic-type-const-151251.rs

@@ -5,6 +5,6 @@
 #![expect(incomplete_features)]
 
 type const A: u8 = A;
-//~^ ERROR overflow normalizing the unevaluated constant `A`
+//~^ ERROR overflow normalizing the alias const `A`
 
 fn main() {}

tests/ui/const-generics/mgca/cyclic-type-const-151251.stderr

@@ -1,4 +1,4 @@
-error[E0275]: overflow normalizing the unevaluated constant `A`
+error[E0275]: overflow normalizing the alias const `A`
   --> $DIR/cyclic-type-const-151251.rs:7:1
    |
 LL | type const A: u8 = A;

tests/ui/const-generics/mgca/type_const-recursive.rs

@@ -3,6 +3,6 @@
 
 
 type const A: u8 = A;
-//~^ ERROR: overflow normalizing the unevaluated constant `A` [E0275]
+//~^ ERROR: overflow normalizing the alias const `A` [E0275]
 
 fn main() {}

tests/ui/const-generics/mgca/type_const-recursive.stderr

@@ -1,4 +1,4 @@
-error[E0275]: overflow normalizing the unevaluated constant `A`
+error[E0275]: overflow normalizing the alias const `A`
   --> $DIR/type_const-recursive.rs:5:1
    |
 LL | type const A: u8 = A;