Skip to content

Commit

Permalink
Rollup merge of rust-lang#116561 - ouz-a:testfor_115517, r=compiler-e…
Browse files Browse the repository at this point in the history
…rrors

Add a test for fixed ICE

Addresses rust-lang#115517 (comment)

Closes rust-lang#115517

r? ``@compiler-errors``
  • Loading branch information
matthiaskrgr authored Oct 9, 2023
2 parents ea5cac0 + 2e000eb commit 27a5146
Show file tree
Hide file tree
Showing 2 changed files with 26 additions and 0 deletions.
16 changes: 16 additions & 0 deletions tests/ui/typeck/escaping_bound_vars.rs
Original file line number Diff line number Diff line change
@@ -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() {}
10 changes: 10 additions & 0 deletions tests/ui/typeck/escaping_bound_vars.stderr
Original file line number Diff line number Diff line change
@@ -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

0 comments on commit 27a5146

Please sign in to comment.