regression test for inherent associated const ICE

tests/ui/associated-inherent-types/ice-normalize-inherent-assoc-const.rs

@@ -0,0 +1,19 @@
+//! Regression test for: https://github.com/rust-lang/rust/issues/142722.
+
+#![feature(trivial_bounds)]
+#![feature(generic_const_exprs)]
+#![feature(gca_min_const_items)]
+#![feature(inherent_associated_types)]
+
+struct Foo;
+impl Foo {
+    const ASSOC_C: usize = todo!();
+    //~^ ERROR evaluation panicked: not yet implemented
+    fn foo()
+    where
+        [u8; Self::ASSOC_C]:,
+    {
+    }
+}
+
+pub fn main() {}

tests/ui/associated-inherent-types/ice-normalize-inherent-assoc-const.stderr

@@ -0,0 +1,15 @@
+error[E0080]: evaluation panicked: not yet implemented
+  --> $DIR/ice-normalize-inherent-assoc-const.rs:10:28
+   |
+LL |     const ASSOC_C: usize = todo!();
+   |                            ^^^^^^^ evaluation of `Foo::ASSOC_C` failed here
+
+note: erroneous constant encountered
+  --> $DIR/ice-normalize-inherent-assoc-const.rs:14:14
+   |
+LL |         [u8; Self::ASSOC_C]:,
+   |              ^^^^^^^^^^^^^
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0080`.