Skip to content

Commit b4a6047

Browse files
oli-obkoli-obk
committed
More tests
1 parent d779062 commit b4a6047

5 files changed

+160
-1
lines changed

‎src/test/ui/consts/promoted_const_call.rs

+3
Original file line numberDiff line numberDiff line change
@@ -13,4 +13,7 @@ fn main() {
1313
let _: &'static _ = &id(&Panic);
1414
//~^ ERROR: temporary value dropped while borrowed
1515
//~| ERROR: temporary value dropped while borrowed
16+
let _: &'static _ = &&(Panic, 0).1;
17+
//~^ ERROR: temporary value dropped while borrowed
18+
//~| ERROR: temporary value dropped while borrowed
1619
}

‎src/test/ui/consts/promoted_const_call.stderr

+23-1
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,28 @@ LL | let _: &'static _ = &id(&Panic);
3838
| | creates a temporary value which is freed while still in use
3939
| type annotation requires that borrow lasts for `'static`
4040

41-
error: aborting due to 4 previous errors
41+
error[E0716]: temporary value dropped while borrowed
42+
--> $DIR/promoted_const_call.rs:16:26
43+
|
44+
LL | let _: &'static _ = &&(Panic, 0).1;
45+
| ---------- ^^^^^^^^^^^^^ creates a temporary value which is freed while still in use
46+
| |
47+
| type annotation requires that borrow lasts for `'static`
48+
...
49+
LL | }
50+
| - temporary value is freed at the end of this statement
51+
52+
error[E0716]: temporary value dropped while borrowed
53+
--> $DIR/promoted_const_call.rs:16:27
54+
|
55+
LL | let _: &'static _ = &&(Panic, 0).1;
56+
| ---------- ^^^^^^^^^^ creates a temporary value which is freed while still in use
57+
| |
58+
| type annotation requires that borrow lasts for `'static`
59+
...
60+
LL | }
61+
| - temporary value is freed at the end of this statement
62+
63+
error: aborting due to 6 previous errors
4264

4365
For more information about this error, try `rustc --explain E0716`.

‎src/test/ui/consts/promoted_const_call4.rs

+18
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
// run-pass
2+
3+
use std::sync::atomic::*;
4+
5+
static FLAG: AtomicBool = AtomicBool::new(false);
6+
7+
struct NoisyDrop(&'static str);
8+
impl Drop for NoisyDrop {
9+
fn drop(&mut self) {
10+
FLAG.store(true, Ordering::SeqCst);
11+
}
12+
}
13+
fn main() {
14+
{
15+
let _val = &&(NoisyDrop("drop!"), 0).1;
16+
}
17+
assert!(FLAG.load(Ordering::SeqCst));
18+
}

‎src/test/ui/consts/promoted_const_call5.rs

+42
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
#![feature(rustc_attrs)]
2+
#![feature(staged_api)]
3+
#![stable(feature = "a", since = "1.0.0")]
4+
5+
#[rustc_promotable]
6+
#[stable(feature = "a", since = "1.0.0")]
7+
#[rustc_const_stable(feature = "a", since = "1.0.0")]
8+
pub const fn id<T>(x: &'static T) -> &'static T { x }
9+
10+
#[rustc_promotable]
11+
#[stable(feature = "a", since = "1.0.0")]
12+
#[rustc_const_stable(feature = "a", since = "1.0.0")]
13+
pub const fn new_string() -> String {
14+
String::new()
15+
}
16+
17+
#[rustc_promotable]
18+
#[stable(feature = "a", since = "1.0.0")]
19+
#[rustc_const_stable(feature = "a", since = "1.0.0")]
20+
pub const fn new_manually_drop<T>(t: T) -> std::mem::ManuallyDrop<T> {
21+
std::mem::ManuallyDrop::new(t)
22+
}
23+
24+
25+
const C: () = {
26+
let _: &'static _ = &id(&new_string());
27+
//~^ ERROR destructor of `String` cannot be evaluated at compile-time
28+
//~| ERROR: temporary value dropped while borrowed
29+
//~| ERROR: temporary value dropped while borrowed
30+
31+
let _: &'static _ = &new_manually_drop(new_string());
32+
//~^ ERROR: temporary value dropped while borrowed
33+
};
34+
35+
fn main() {
36+
let _: &'static _ = &id(&new_string());
37+
//~^ ERROR: temporary value dropped while borrowed
38+
//~| ERROR: temporary value dropped while borrowed
39+
40+
let _: &'static _ = &new_manually_drop(new_string());
41+
//~^ ERROR: temporary value dropped while borrowed
42+
}

‎src/test/ui/consts/promoted_const_call5.stderr

+74
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,74 @@
1+
error[E0493]: destructor of `String` cannot be evaluated at compile-time
2+
--> $DIR/promoted_const_call5.rs:26:30
3+
|
4+
LL | let _: &'static _ = &id(&new_string());
5+
| ^^^^^^^^^^^^ - value is dropped here
6+
| |
7+
| the destructor for this type cannot be evaluated in constants
8+
9+
error[E0716]: temporary value dropped while borrowed
10+
--> $DIR/promoted_const_call5.rs:26:26
11+
|
12+
LL | let _: &'static _ = &id(&new_string());
13+
| ---------- ^^^^^^^^^^^^^^^^^ creates a temporary value which is freed while still in use
14+
| |
15+
| type annotation requires that borrow lasts for `'static`
16+
...
17+
LL | };
18+
| - temporary value is freed at the end of this statement
19+
20+
error[E0716]: temporary value dropped while borrowed
21+
--> $DIR/promoted_const_call5.rs:26:30
22+
|
23+
LL | let _: &'static _ = &id(&new_string());
24+
| ----^^^^^^^^^^^^-- temporary value is freed at the end of this statement
25+
| | |
26+
| | creates a temporary value which is freed while still in use
27+
| argument requires that borrow lasts for `'static`
28+
29+
error[E0716]: temporary value dropped while borrowed
30+
--> $DIR/promoted_const_call5.rs:31:26
31+
|
32+
LL | let _: &'static _ = &new_manually_drop(new_string());
33+
| ---------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ creates a temporary value which is freed while still in use
34+
| |
35+
| type annotation requires that borrow lasts for `'static`
36+
LL |
37+
LL | };
38+
| - temporary value is freed at the end of this statement
39+
40+
error[E0716]: temporary value dropped while borrowed
41+
--> $DIR/promoted_const_call5.rs:36:26
42+
|
43+
LL | let _: &'static _ = &id(&new_string());
44+
| ---------- ^^^^^^^^^^^^^^^^^ creates a temporary value which is freed while still in use
45+
| |
46+
| type annotation requires that borrow lasts for `'static`
47+
...
48+
LL | }
49+
| - temporary value is freed at the end of this statement
50+
51+
error[E0716]: temporary value dropped while borrowed
52+
--> $DIR/promoted_const_call5.rs:36:30
53+
|
54+
LL | let _: &'static _ = &id(&new_string());
55+
| ----^^^^^^^^^^^^-- temporary value is freed at the end of this statement
56+
| | |
57+
| | creates a temporary value which is freed while still in use
58+
| argument requires that borrow lasts for `'static`
59+
60+
error[E0716]: temporary value dropped while borrowed
61+
--> $DIR/promoted_const_call5.rs:40:26
62+
|
63+
LL | let _: &'static _ = &new_manually_drop(new_string());
64+
| ---------- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ creates a temporary value which is freed while still in use
65+
| |
66+
| type annotation requires that borrow lasts for `'static`
67+
LL |
68+
LL | }
69+
| - temporary value is freed at the end of this statement
70+
71+
error: aborting due to 7 previous errors
72+
73+
Some errors have detailed explanations: E0493, E0716.
74+
For more information about an error, try `rustc --explain E0493`.

0 commit comments

Comments
 (0)