2019-10-29 00:00:00 +00:00
|
|
|
//@ build-pass
|
2018-09-25 23:51:35 +02:00
|
|
|
#![allow(dead_code)]
|
2018-08-31 15:02:01 +02:00
|
|
|
#![allow(non_upper_case_globals)]
|
|
|
|
|
|
2015-05-05 23:56:30 +02:00
|
|
|
extern crate core;
|
|
|
|
|
use core::marker::Sync;
|
|
|
|
|
|
|
|
|
|
static SARRAY: [i32; 1] = [11];
|
|
|
|
|
|
|
|
|
|
struct MyStruct {
|
|
|
|
|
pub arr: *const [i32],
|
|
|
|
|
}
|
|
|
|
|
unsafe impl Sync for MyStruct {}
|
|
|
|
|
|
|
|
|
|
static mystruct: MyStruct = MyStruct {
|
|
|
|
|
arr: &SARRAY
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
fn main() {}
|
