tests/ui/traits/clone-unwind-rc-cleanup.rs


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

//! Tests cleanup behavior of the built-in `Clone` impl for tuples during unwinding.

//@ run-pass
//@ needs-unwind

#![allow(unused_variables)]
#![allow(unused_imports)]

use std::rc::Rc;
use std::thread;

struct S(Rc<()>);

impl Clone for S {
    fn clone(&self) -> Self {
        if Rc::strong_count(&self.0) == 7 {
            panic!("oops");
        }

        S(self.0.clone())
    }
}

fn main() {
    let counter = Rc::new(());

    // Unwinding with tuples...
    let ccounter = counter.clone();
    let result = std::panic::catch_unwind(move || {
        let _ =
            (S(ccounter.clone()), S(ccounter.clone()), S(ccounter.clone()), S(ccounter)).clone();
    });

    assert!(result.is_err());
    assert_eq!(1, Rc::strong_count(&counter));

    // ... and with arrays.
    let ccounter = counter.clone();
    let child = std::panic::catch_unwind(move || {
        let _ =
            [S(ccounter.clone()), S(ccounter.clone()), S(ccounter.clone()), S(ccounter)].clone();
    });

    assert!(child.is_err());
    assert_eq!(1, Rc::strong_count(&counter));
}