From 8d1d88bfc4768a43c845d3de04e1ace4e9d0c1a3 Mon Sep 17 00:00:00 2001
From: vsriram <vsriram2024@gmail.com>
Date: Mon, 12 Jan 2026 00:07:07 +0530
Subject: [PATCH] ui: add test for normalizing const projections with assoc
 const equality

---
 .../normalization-via-param-env.rs             | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 tests/ui/const-generics/associated-const-bindings/normalization-via-param-env.rs

diff --git a/tests/ui/const-generics/associated-const-bindings/normalization-via-param-env.rs b/tests/ui/const-generics/associated-const-bindings/normalization-via-param-env.rs
new file mode 100644
index 0000000000000..c7bb5bccedb3a
--- /dev/null
+++ b/tests/ui/const-generics/associated-const-bindings/normalization-via-param-env.rs
@@ -0,0 +1,18 @@
+//@ check-pass
+#![feature(min_generic_const_args)]
+#![allow(incomplete_features)]
+
+// Regression test for normalizing const projections
+// with associated const equality bounds.
+
+trait Trait {
+    #[type_const]
+    const C: usize;
+}
+
+fn f<T: Trait<C = 1>>() {
+    // This must normalize <T as Trait>::C to 1
+    let _: [(); T::C] = [()];
+}
+
+fn main() {}