Skip to content

Commit

Permalink
Unrolled build for rust-lang#122844
Browse files Browse the repository at this point in the history
Rollup merge of rust-lang#122844 - matthiaskrgr:just_one_more_test_mom, r=compiler-errors

add test for ice "cannot relate region: LUB(ReErased, ReError)"

Fixes rust-lang#109178
  • Loading branch information
rust-timer authored Mar 22, 2024
2 parents 0ad927c + 847311e commit a5fa569
Show file tree
Hide file tree
Showing 2 changed files with 35 additions and 0 deletions.
14 changes: 14 additions & 0 deletions tests/ui/inference/ice-cannot-relate-region-109178.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
// test for ice #109178 cannot relate region: LUB(ReErased, ReError)

#![allow(incomplete_features)]
#![crate_type = "lib"]
#![feature(adt_const_params, generic_const_exprs)]

struct Changes<const CHANGES: &[&'static str]>
//~^ ERROR `&` without an explicit lifetime name cannot be used here
where
[(); CHANGES.len()]:, {}

impl<const CHANGES: &[&str]> Changes<CHANGES> where [(); CHANGES.len()]: {}
//~^ ERROR `&` without an explicit lifetime name cannot be used here
//~^^ ERROR `&` without an explicit lifetime name cannot be used here
21 changes: 21 additions & 0 deletions tests/ui/inference/ice-cannot-relate-region-109178.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
error[E0637]: `&` without an explicit lifetime name cannot be used here
--> $DIR/ice-cannot-relate-region-109178.rs:7:31
|
LL | struct Changes<const CHANGES: &[&'static str]>
| ^ explicit lifetime name needed here

error[E0637]: `&` without an explicit lifetime name cannot be used here
--> $DIR/ice-cannot-relate-region-109178.rs:12:21
|
LL | impl<const CHANGES: &[&str]> Changes<CHANGES> where [(); CHANGES.len()]: {}
| ^ explicit lifetime name needed here

error[E0637]: `&` without an explicit lifetime name cannot be used here
--> $DIR/ice-cannot-relate-region-109178.rs:12:23
|
LL | impl<const CHANGES: &[&str]> Changes<CHANGES> where [(); CHANGES.len()]: {}
| ^ explicit lifetime name needed here

error: aborting due to 3 previous errors

For more information about this error, try `rustc --explain E0637`.

0 comments on commit a5fa569

Please sign in to comment.