Add render associated constant in notable trait

Example
---
```rust
impl Notable for u32 {
    type Assoc = &str;
    type Assoc2 = char;
    const ID: u32 = 3;
}
```

**Before this PR**

```text
Implements notable traits: `Notable<Assoc = &str, Assoc2 = char>`
```

**After this PR**

```text
Implements notable traits: `Notable<Assoc = &str, Assoc2 = char, ID = 3>`
```

Author: A4-Tacks

crates/ide/src/hover.rs

@@ -78,6 +78,17 @@ pub enum HoverDocFormat {
     PlainText,
 }
 
+enum TyOrConst<'db> {
+    EvaluatedConst(hir::EvaluatedConst<'db>),
+    Type(hir::Type<'db>),
+}
+
+impl<'db> TyOrConst<'db> {
+    fn as_type(&self) -> Option<&hir::Type<'db>> {
+        if let Self::Type(ty) = self { Some(ty) } else { None }
+    }
+}
+
 #[derive(Debug, Clone, Hash, PartialEq, Eq, UpmapFromRaFixture)]
 pub enum HoverAction {
     Runnable(Runnable),
@@ -514,7 +525,7 @@ pub(crate) fn hover_for_definition(
 fn notable_traits<'db>(
     db: &'db RootDatabase,
     ty: &hir::Type<'db>,
-) -> Vec<(hir::Trait, Vec<(Option<hir::Type<'db>>, hir::Name)>)> {
+) -> Vec<(hir::Trait, Vec<(Option<TyOrConst<'db>>, hir::Name)>)> {
     if ty.is_unknown() {
         // The trait solver returns "yes" to the question whether the error type
         // impls any trait, and we don't want to show it as having any notable trait.
@@ -531,9 +542,16 @@ fn notable_traits<'db>(
                     trait_
                         .items(db)
                         .into_iter()
-                        .filter_map(hir::AssocItem::as_type_alias)
-                        .map(|alias| {
-                            (ty.normalize_trait_assoc_type(db, &[], alias), alias.name(db))
+                        .filter_map(|item| match item {
+                            hir::AssocItem::Function(_) => None,
+                            hir::AssocItem::Const(it) => Some((
+                                it.eval(db).ok().map(TyOrConst::EvaluatedConst),
+                                it.name(db)?,
+                            )),
+                            hir::AssocItem::TypeAlias(it) => Some((
+                                ty.normalize_trait_assoc_type(db, &[], it).map(TyOrConst::Type),
+                                it.name(db),
+                            )),
                         })
                         .collect::<Vec<_>>(),
                 )
@@ -606,7 +624,7 @@ fn runnable_action(
 fn goto_type_action_for_def(
     sema: &Semantics<'_, RootDatabase>,
     def: Definition,
-    notable_traits: &[(hir::Trait, Vec<(Option<hir::Type<'_>>, hir::Name)>)],
+    notable_traits: &[(hir::Trait, Vec<(Option<TyOrConst<'_>>, hir::Name)>)],
     subst_types: Option<Vec<(hir::Symbol, hir::Type<'_>)>>,
     edition: Edition,
 ) -> Option<HoverAction> {
@@ -620,9 +638,11 @@ fn goto_type_action_for_def(
 
     for &(trait_, ref assocs) in notable_traits {
         push_new_def(trait_.into());
-        assocs.iter().filter_map(|(ty, _)| ty.as_ref()).for_each(|ty| {
-            walk_and_push_ty(db, ty, &mut push_new_def);
-        });
+        assocs.iter().filter_map(|(ty, _)| ty.as_ref()).filter_map(TyOrConst::as_type).for_each(
+            |ty| {
+                walk_and_push_ty(db, ty, &mut push_new_def);
+            },
+        );
     }
 
     if let Ok(generic_def) = GenericDef::try_from(def) {

crates/ide/src/hover/render.rs

@@ -29,7 +29,7 @@ use crate::{
     HoverAction, HoverConfig, HoverResult, Markup, MemoryLayoutHoverConfig,
     MemoryLayoutHoverRenderKind,
     doc_links::{remove_links, rewrite_links},
-    hover::{SubstTyLen, notable_traits, walk_and_push_ty},
+    hover::{SubstTyLen, TyOrConst, notable_traits, walk_and_push_ty},
     interpret::render_const_eval_error,
 };
 
@@ -477,7 +477,7 @@ pub(super) fn definition(
     db: &RootDatabase,
     def: Definition,
     famous_defs: Option<&FamousDefs<'_, '_>>,
-    notable_traits: &[(Trait, Vec<(Option<Type<'_>>, Name)>)],
+    notable_traits: &[(Trait, Vec<(Option<TyOrConst<'_>>, Name)>)],
     macro_arm: Option<u32>,
     render_extras: bool,
     subst_types: Option<&Vec<(Symbol, Type<'_>)>>,
@@ -553,20 +553,7 @@ pub(super) fn definition(
         Definition::Const(it) => {
             let body = it.eval(db);
             Some(match body {
-                Ok(it) => match it.render_debug(db) {
-                    Ok(it) => it,
-                    Err(err) => {
-                        let it = it.render(db, display_target);
-                        if env::var_os("RA_DEV").is_some() {
-                            format!(
-                                "{it}\n{}",
-                                render_const_eval_error(db, err.into(), display_target)
-                            )
-                        } else {
-                            it
-                        }
-                    }
-                },
+                Ok(it) => const_value(&it, db, display_target),
                 Err(err) => {
                     let source = it.source(db)?;
                     let mut body = source.value.body()?.syntax().clone();
@@ -585,20 +572,7 @@ pub(super) fn definition(
         Definition::Static(it) => {
             let body = it.eval(db);
             Some(match body {
-                Ok(it) => match it.render_debug(db) {
-                    Ok(it) => it,
-                    Err(err) => {
-                        let it = it.render(db, display_target);
-                        if env::var_os("RA_DEV").is_some() {
-                            format!(
-                                "{it}\n{}",
-                                render_const_eval_error(db, err.into(), display_target)
-                            )
-                        } else {
-                            it
-                        }
-                    }
-                },
+                Ok(it) => const_value(&it, db, display_target),
                 Err(err) => {
                     let source = it.source(db)?;
                     let mut body = source.value.body()?.syntax().clone();
@@ -939,7 +913,7 @@ pub(super) fn literal(
 
 fn render_notable_trait(
     db: &RootDatabase,
-    notable_traits: &[(Trait, Vec<(Option<Type<'_>>, Name)>)],
+    notable_traits: &[(Trait, Vec<(Option<TyOrConst<'_>>, Name)>)],
     edition: Edition,
     display_target: DisplayTarget,
 ) -> Option<String> {
@@ -961,7 +935,10 @@ fn render_notable_trait(
                     f(&name.display(db, edition))?;
                     f(&" = ")?;
                     match ty {
-                        Some(ty) => f(&ty.display(db, display_target)),
+                        Some(TyOrConst::Type(ty)) => f(&ty.display(db, display_target)),
+                        Some(TyOrConst::EvaluatedConst(value)) => {
+                            f(&const_value(value, db, display_target))
+                        }
                         None => f(&"?"),
                     }
                 })
@@ -1105,6 +1082,24 @@ fn closure_ty(
     Some(res)
 }
 
+fn const_value(
+    evaluated: &hir::EvaluatedConst<'_>,
+    db: &RootDatabase,
+    display_target: DisplayTarget,
+) -> String {
+    match evaluated.render_debug(db) {
+        Ok(it) => it,
+        Err(err) => {
+            let it = evaluated.render(db, display_target);
+            if env::var_os("RA_DEV").is_some() {
+                format!("{it}\n{}", render_const_eval_error(db, err.into(), display_target))
+            } else {
+                it
+            }
+        }
+    }
+}
+
 fn definition_path(db: &RootDatabase, &def: &Definition, edition: Edition) -> Option<String> {
     if matches!(
         def,

crates/ide/src/hover/tests.rs

@@ -9097,11 +9097,13 @@ fn notable_local() {
 trait Notable {
     type Assoc;
     type Assoc2;
+    const ID: u32;
 }
 
 impl Notable for u32 {
     type Assoc = &str;
     type Assoc2 = char;
+    const ID: u32 = 3;
 }
 fn main(notable$0: u32) {}
 "#,
@@ -9114,7 +9116,7 @@ fn main(notable$0: u32) {}
 
             ---
 
-            Implements notable traits: `Notable<Assoc = &str, Assoc2 = char>`
+            Implements notable traits: `Notable<Assoc = &str, Assoc2 = char, ID = 3>`
 
             ---