Rollup merge of #162786 - malezjaa:regression-test-159561, r=fee1-dead

regression test for GCE inherent projection ICE

Closes #159561
The issue no longer reproduces

Author: JonathanBrouwer

tests/ui/const-generics/generic_const_exprs/wf-const-arg-inherent-projection-ice.rs

@@ -0,0 +1,19 @@
+//! Regression test for <https://github.com/rust-lang/rust/issues/159561>.
+
+#![feature(generic_const_exprs)]
+
+fn new<const N: usize>()
+where
+    [(); N * 1]:,
+{
+}
+
+fn test<const N: usize>()
+where
+    [(); N - usize::MAX * 1]:,
+{
+    new
+    //~^ ERROR mismatched types
+}
+
+fn main() {}

tests/ui/const-generics/generic_const_exprs/wf-const-arg-inherent-projection-ice.stderr

@@ -0,0 +1,25 @@
+error[E0308]: mismatched types
+  --> $DIR/wf-const-arg-inherent-projection-ice.rs:15:5
+   |
+LL | / fn new<const N: usize>()
+LL | | where
+LL | |     [(); N * 1]:,
+   | |_________________- function `new` defined here
+...
+LL |       new
+   |       ^^^ expected `()`, found fn item
+   |
+   = note: expected unit type `()`
+                found fn item `fn() {new::<core::num::<impl usize>::MAX>}`
+help: try adding a return type
+   |
+LL | fn test<const N: usize>() -> fn()
+   |                           +++++++
+help: use parentheses to call this function
+   |
+LL |     new()
+   |        ++
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0308`.