Skip to content

Commit 0ba1262

Browse files
committed
Reproduce the underlying issue
nll (and thus the algorithm for actual promotion) don't know about some casts anymore
1 parent 9f0a352 commit 0ba1262

File tree

3 files changed

+51
-0
lines changed

3 files changed

+51
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
warning[E0716]: temporary value dropped while borrowed
2+
--> $DIR/dangling-alloc-id-ice-2.rs:5:28
3+
|
4+
LL | static MAP: Slice = Slice(&[
5+
| ___________________________-^
6+
| |___________________________|
7+
| ||
8+
LL | || b"CloseEvent" as &'static [u8],
9+
LL | || ]);
10+
| || -- temporary value is freed at the end of this statement
11+
| ||_|
12+
| |__creates a temporary which is freed while still in use
13+
| cast requires that borrow lasts for `'static`
14+
|
15+
= warning: This error has been downgraded to a warning for backwards compatibility with previous releases.
16+
It represents potential unsoundness in your code.
17+
This warning will become a hard error in the future.
18+
19+
error[E0080]: could not evaluate static initializer
20+
--> $DIR/dangling-alloc-id-ice-2.rs:5:1
21+
|
22+
LL | / static MAP: Slice = Slice(&[
23+
LL | | b"CloseEvent" as &'static [u8],
24+
LL | | ]);
25+
| |___^ type validation failed: encountered dangling pointer in final constant
26+
27+
error: aborting due to previous error
28+
29+
Some errors occurred: E0080, E0716.
30+
For more information about an error, try `rustc --explain E0080`.
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
// https://github.com/rust-lang/rust/issues/55223
2+
3+
struct Slice(&'static [&'static [u8]]);
4+
5+
static MAP: Slice = Slice(&[
6+
b"CloseEvent" as &'static [u8],
7+
]);
8+
9+
10+
fn main() {}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
error[E0080]: could not evaluate static initializer
2+
--> $DIR/dangling-alloc-id-ice-2.rs:5:1
3+
|
4+
LL | / static MAP: Slice = Slice(&[
5+
LL | | b"CloseEvent" as &'static [u8],
6+
LL | | ]);
7+
| |___^ type validation failed: encountered dangling pointer in final constant
8+
9+
error: aborting due to previous error
10+
11+
For more information about this error, try `rustc --explain E0080`.

0 commit comments

Comments
 (0)