src/tools/miri/tests/pass/static_mut.rs

   1 static mut FOO: i32 = 42;
   2 static BAR: Foo = Foo(unsafe { &FOO as *const _ });
   3
   4 #[allow(dead_code)]
   5 struct Foo(*const i32);
   6
   7 unsafe impl Sync for Foo {}
   8
   9 fn main() {
  10     unsafe {
  11         assert_eq!(*BAR.0, 42);
  12         FOO = 5;
  13         assert_eq!(FOO, 5);
  14         assert_eq!(*BAR.0, 5);
  15     }
  16 }