opaque types descr

Author: AndyJado

compiler/rustc_borrowck/src/region_infer/opaque_types.rs

@@ -398,7 +398,7 @@ fn check_opaque_type_parameter_valid(
             tcx.sess.emit_err(OpaqueTypeNotDefine {
                 cause: OpaqueTyDefineErrCause::NonGenericUsed {
                     span: tcx.def_span(opaque_param.def_id),
-                    descr: opaque_param.kind.descr().to_string(),
+                    descr: &opaque_param.kind.descr(),
                     arg: arg.to_string(),
                 },
                 span,

compiler/rustc_borrowck/src/session_diagnostics.rs

@@ -462,7 +462,7 @@ pub(crate) enum OpaqueTyDefineErrCause {
     NonGenericUsed {
         #[primary_span]
         span: Span,
-        descr: String,
+        descr: &'static str,
         arg: String,
     },
     #[label(borrowck::cannot_use_static_lifetime_here)]

compiler/rustc_error_messages/locales/en-US/borrowck.ftl

@@ -262,7 +262,11 @@ borrowck_lifetime_not_used_in_trait_type_alias =
     lifetime `{$r}` is part of concrete type but not used in parameter list of the `impl Trait` type alias
 
 borrowck_used_non_generic_for_generic =
-    used non-generic {$descr} `{$arg}` for generic parameter
+    used non-generic {$descr ->
+    [lifetime] lifetime
+    [type] type
+    *[constant] constant
+    } `{$arg}` for generic parameter
 
 borrowck_cannot_use_static_lifetime_here =
     cannot use static lifetime; use a bound lifetime instead or remove the lifetime parameter from the opaque type