Add regression test for ice

This commit is contained in:
yukang
2025-11-06 09:41:16 +08:00
parent 401ae55427
commit 55b0125d16
2 changed files with 27 additions and 0 deletions
@@ -0,0 +1,13 @@
//@ edition: 2021
// Regression test for #148542
// Ensure we don't ICE with "Invalid `ConstKind` for `const_to_pat`: {const error}"
fn foo() where &str:, {
//~^ ERROR `&` without an explicit lifetime name cannot be used here
match 42_u8 {
-10.. => {}
}
}
fn main() {}
@@ -0,0 +1,14 @@
error[E0637]: `&` without an explicit lifetime name cannot be used here
--> $DIR/const-error-ice-issue-148542.rs:6:16
|
LL | fn foo() where &str:, {
| ^ explicit lifetime name needed here
|
help: consider introducing a higher-ranked lifetime here
|
LL | fn foo() where for<'a> &'a str:, {
| +++++++ ++
error: aborting due to 1 previous error
For more information about this error, try `rustc --explain E0637`.