Unrolled build for rust-lang#116561

Rollup merge of rust-lang#116561 - ouz-a:testfor_115517, r=compiler-errors Add a test for fixed ICE Addresses rust-lang#115517 (comment) Closes rust-lang#115517 r? ``@compiler-errors``
rust-lang-ci · Oct 9, 2023 · f4ce464 · f4ce464
2 parents be581d9 + 2e000eb
commit f4ce464
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git a/tests/ui/typeck/escaping_bound_vars.rs b/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() {}
diff --git a/tests/ui/typeck/escaping_bound_vars.stderr b/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
+