Rollup merge of rust-lang#116561 - ouz-a:testfor_115517, r=compiler-e…

…rrors

Add a test for fixed ICE

Addresses rust-lang#115517 (comment)

Closes rust-lang#115517

r? ``@compiler-errors``

tests/ui/typeck/escaping_bound_vars.rs

@@ -0,0 +1,16 @@
+// Test for issues/115517 which is fixed by pull/115486
+// This should not ice
+trait Test<const C: usize> {}
+
+trait Elide<T> {
+    fn call();
+}
+
+pub fn test()
+where
+    (): Test<{ 1 + (<() as Elide(&())>::call) }>,
+    //~^ ERROR cannot capture late-bound lifetime in constant
+{
+}
+
+fn main() {}

tests/ui/typeck/escaping_bound_vars.stderr

@@ -0,0 +1,10 @@
+error: cannot capture late-bound lifetime in constant
+  --> $DIR/escaping_bound_vars.rs:11:35
+   |
+LL |     (): Test<{ 1 + (<() as Elide(&())>::call) }>,
+   |                                  -^
+   |                                  |
+   |                                  lifetime defined here
+
+error: aborting due to previous error
+