ui: add test for normalizing const projections with assoc const equality

Author: vsriramv

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() {}