mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

add test for ice #121463

Browse Source 
Fixes #121463
This commit is contained in:
Matthias Krüger 2024-04-21 21:31:21 +02:00
parent 28f60ff9a4
commit 751f662b70
2 changed files with 33 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tests/ui/borrowck/non-ADT-struct-pattern-box-pattern-ice-121463.rs Normal file
View File

@ -0,0 +1,12 @@
// issue rust-lang/rust#121463
// ICE non-ADT in struct pattern
#![feature(box_patterns)]
fn main() {
let mut a = E::StructVar { boxed: Box::new(5_i32) };
//~^ ERROR failed to resolve: use of undeclared type `E`
match a {
E::StructVar { box boxed } => { }
//~^ ERROR failed to resolve: use of undeclared type `E`
}
}

21
tests/ui/borrowck/non-ADT-struct-pattern-box-pattern-ice-121463.stderr Normal file
View File

@ -0,0 +1,21 @@
error[E0433]: failed to resolve: use of undeclared type `E`
--> $DIR/non-ADT-struct-pattern-box-pattern-ice-121463.rs:6:17
|
LL | let mut a = E::StructVar { boxed: Box::new(5_i32) };
| ^
| |
| use of undeclared type `E`
| help: a trait with a similar name exists: `Eq`
error[E0433]: failed to resolve: use of undeclared type `E`
--> $DIR/non-ADT-struct-pattern-box-pattern-ice-121463.rs:9:9
|
LL | E::StructVar { box boxed } => { }
| ^
| |
| use of undeclared type `E`
| help: a trait with a similar name exists: `Eq`
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0433`.