blob: f50632ede9f7d50eb467ce42bfa8f42ef2d0486c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
// run-pass
// Test to make sure the destructors run in the right order.
// Each destructor sets it's tag in the corresponding entry
// in ORDER matching up to when it ran.
// Correct order is: matched, inner, outer
static mut ORDER: [usize; 3] = [0, 0, 0];
static mut INDEX: usize = 0;
struct A;
impl Drop for A {
fn drop(&mut self) {
unsafe {
ORDER[INDEX] = 1;
INDEX = INDEX + 1;
}
}
}
struct B;
impl Drop for B {
fn drop(&mut self) {
unsafe {
ORDER[INDEX] = 2;
INDEX = INDEX + 1;
}
}
}
struct C;
impl Drop for C {
fn drop(&mut self) {
unsafe {
ORDER[INDEX] = 3;
INDEX = INDEX + 1;
}
}
}
fn main() {
{
let matched = A;
let _outer = C;
{
match matched {
_s => {}
}
let _inner = B;
}
}
unsafe {
let expected: &[_] = &[1, 2, 3];
assert_eq!(expected, ORDER);
}
}
|