Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit 6ba9ed8

Browse files
Add regression test for #81899
1 parent 56fd680 commit 6ba9ed8

File tree

2 files changed

+30
-0
lines changed

2 files changed

+30
-0
lines changed

‎src/test/ui/borrowck/issue-81899.rs‎

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
// Regression test for #81899.
2+
// The `panic!()` below is important to trigger the fixed ICE.
3+
4+
const _CONST: &[u8] = &f(&[], |_| {});
5+
6+
const fn f<F>(_: &[u8], _: F) -> &[u8]
7+
where
8+
F: FnMut(&u8),
9+
{
10+
panic!() //~ ERROR: evaluation of constant value failed
11+
}
12+
13+
fn main() {}
Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
error[E0080]: evaluation of constant value failed
2+
--> $DIR/issue-81899.rs:10:5
3+
|
4+
LL | const _CONST: &[u8] = &f(&[], |_| {});
5+
| -------------- inside `_CONST` at $DIR/issue-81899.rs:4:24
6+
...
7+
LL | panic!()
8+
| ^^^^^^^^
9+
| |
10+
| the evaluated program panicked at 'explicit panic', $DIR/issue-81899.rs:10:5
11+
| inside `f::<[closure@$DIR/issue-81899.rs:4:31: 4:37]>` at $SRC_DIR/std/src/panic.rs:LL:COL
12+
|
13+
= note: this error originates in the macro `$crate::panic::panic_2015` (in Nightly builds, run with -Z macro-backtrace for more info)
14+
15+
error: aborting due to previous error
16+
17+
For more information about this error, try `rustc --explain E0080`.

0 commit comments

Comments
(0)

AltStyle によって変換されたページ (->オリジナル) /