Evaluate consts in `path_to_const`

2 files changed, 15 insertions, 0 deletions

diff --git a/crates/hir-ty/src/consteval.rs b/crates/hir-ty/src/consteval.rs
index 5830c48988f..2762bdc6ca8 100644
--- a/crates/hir-ty/src/consteval.rs
+++ b/crates/hir-ty/src/consteval.rs
@@ -100,6 +100,7 @@ pub(crate) fn path_to_const(
             };
             Some(ConstData { ty, value }.intern(Interner))
         }
+        Some(ValueNs::ConstId(c)) => db.const_eval(c).ok(),
         _ => None,
     }
 }
diff --git a/crates/hir-ty/src/tests/simple.rs b/crates/hir-ty/src/tests/simple.rs
index 1a07a2c51d8..1648396eb1a 100644
--- a/crates/hir-ty/src/tests/simple.rs
+++ b/crates/hir-ty/src/tests/simple.rs
@@ -3274,3 +3274,17 @@ fn func() {
         "#]],
     );
 }
+
+#[test]
+fn issue_14275() {
+    check_types(
+        r#"
+struct Foo<const T: bool>;
+fn main() {
+    const B: bool = false;
+    let foo = Foo::<B>;
+      //^^^ Foo<false>
+}
+"#,
+    );
+}