src/test/run-pass/order-drop-with-match.rs

   1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution and at
   3 // http://rust-lang.org/COPYRIGHT.
   4 //
   5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   8 // option. This file may not be copied, modified, or distributed
   9 // except according to those terms.
  10
  11
  12 // Test to make sure the destructors run in the right order.
  13 // Each destructor sets it's tag in the corresponding entry
  14 // in ORDER matching up to when it ran.
  15 // Correct order is: matched, inner, outer
  16
  17
  18 static mut ORDER: [usize; 3] = [0, 0, 0];
  19 static mut INDEX: usize = 0;
  20
  21 struct A;
  22 impl Drop for A {
  23     fn drop(&mut self) {
  24         unsafe {
  25             ORDER[INDEX] = 1;
  26             INDEX = INDEX + 1;
  27         }
  28     }
  29 }
  30
  31 struct B;
  32 impl Drop for B {
  33     fn drop(&mut self) {
  34         unsafe {
  35             ORDER[INDEX] = 2;
  36             INDEX = INDEX + 1;
  37         }
  38     }
  39 }
  40
  41 struct C;
  42 impl Drop for C {
  43     fn drop(&mut self) {
  44         unsafe {
  45             ORDER[INDEX] = 3;
  46             INDEX = INDEX + 1;
  47         }
  48     }
  49 }
  50
  51 fn main() {
  52     {
  53         let matched = A;
  54         let _outer = C;
  55         {
  56             match matched {
  57                 _s => {}
  58             }
  59             let _inner = B;
  60         }
  61     }
  62     unsafe {
  63         let expected: &[_] = &[1, 2, 3];
  64         assert_eq!(expected, ORDER);
  65     }
  66 }