nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-04-13 12:36:47 +00:00
Code Issues Packages Projects Releases Wiki Activity

Rollup merge of #116561 - ouz-a:testfor_115517, r=compiler-errors

Browse Source 
Add a test for fixed ICE

Addresses https://github.com/rust-lang/rust/issues/115517#issuecomment-1730164116

Closes #115517

r? ``@compiler-errors``
This commit is contained in:
Matthias Krüger 2023-10-09 16:26:03 +02:00 committed by GitHub
commit 27a5146e7c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 26 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
tests/ui/typeck/escaping_bound_vars.rs Normal file
View File

@ -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
tests/ui/typeck/escaping_bound_vars.stderr Normal file
View File

@ -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