languages/rust
languages/rust
1
0
Fork 0
mirror of https://github.com/rust-lang/rust synced 2024-10-01 14:25:08 +00:00
Code Issues Packages Projects Releases Wiki Activity

Rollup merge of #122844 - matthiaskrgr:just_one_more_test_mom, r=compiler-errors

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

Fixes #109178
This commit is contained in:
Matthias Krüger 2024-03-22 01:07:34 +01:00 committed by GitHub
parent b469a6dd9b 847311e36f
commit e647543cda
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 35 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
tests/ui/inference/ice-cannot-relate-region-109178.rs Normal file
View file

@ -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
tests/ui/inference/ice-cannot-relate-region-109178.stderr Normal file
View file

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