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

   1 struct Foo;
   2 impl Drop for Foo {
   3     fn drop(&mut self) {
   4         unsafe {
   5             FOO = true;
   6         }
   7     }
   8 }
   9
  10 static mut FOO: bool = false;
  11
  12 enum Bar {
  13     A(Box<i32>),
  14     B(Foo),
  15 }
  16
  17 fn main() {
  18     assert!(unsafe { !FOO });
  19     drop(Bar::A(Box::new(42)));
  20     assert!(unsafe { !FOO });
  21     drop(Bar::B(Foo));
  22     assert!(unsafe { FOO });
  23 }