src/test/ui/issues/issue-16538.rs

   1 // revisions: mir thir
   2 // [thir]compile-flags: -Z thir-unsafeck
   3
   4 #![feature(const_raw_ptr_deref)]
   5 mod Y {
   6     pub type X = usize;
   7     extern "C" {
   8         pub static x: *const usize;
   9     }
  10     pub fn foo(value: *const X) -> *const X {
  11         value
  12     }
  13 }
  14
  15 static foo: &Y::X = &*Y::foo(Y::x as *const Y::X);
  16 //~^ ERROR dereference of raw pointer
  17 //~| ERROR E0015
  18 //~| ERROR use of extern static is unsafe and requires
  19
  20 fn main() {}