Skip to content

Commit edf32cf

Browse files
committed
Test that safe items fail even with feature(unsafe_extern_blocks)
1 parent 59c1929 commit edf32cf

File tree

2 files changed

+23
-0
lines changed

2 files changed

+23
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
#![feature(unsafe_extern_blocks)]
2+
3+
safe fn foo() {}
4+
//~^ ERROR: items cannot be declared with `safe` safety qualifier
5+
6+
safe static FOO: i32 = 1;
7+
//~^ ERROR: items cannot be declared with `safe` safety qualifier
8+
9+
fn main() {}
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
error: items cannot be declared with `safe` safety qualifier
2+
--> $DIR/safe-outside-extern-with-feature.rs:3:1
3+
|
4+
LL | safe fn foo() {}
5+
| ^^^^^^^^^^^^^^^^
6+
7+
error: items cannot be declared with `safe` safety qualifier
8+
--> $DIR/safe-outside-extern-with-feature.rs:6:1
9+
|
10+
LL | safe static FOO: i32 = 1;
11+
| ^^^^^^^^^^^^^^^^^^^^^^^^^
12+
13+
error: aborting due to 2 previous errors
14+

0 commit comments

Comments
 (0)