src/test/ui/nll/maybe-initialized-drop-uninitialized.rs

   1 // compile-flags: -Zborrowck=mir
   2 // compile-pass
   3
   4 #![allow(warnings)]
   5
   6 struct Wrap<'p> { p: &'p mut i32 }
   7
   8 impl<'p> Drop for Wrap<'p> {
   9     fn drop(&mut self) {
  10         *self.p += 1;
  11     }
  12 }
  13
  14 fn main() {
  15     let mut x = 0;
  16     let wrap = Wrap { p: &mut x };
  17     std::mem::drop(wrap);
  18     x = 1; // OK, drop is inert
  19 }