src/tools/miri/tests/run-pass/recursive_static.rs

   1 // FIXME: Disable validation until we figure out how to handle recursive statics.
   2 // compile-flags: -Zmir-emit-validate=0
   3
   4 struct S(&'static S);
   5 static S1: S = S(&S2);
   6 static S2: S = S(&S1);
   7
   8 fn main() {
   9     let p: *const S = S2.0;
  10     let q: *const S = &S1;
  11     assert_eq!(p, q);
  12 }