4 // See `mir_drop_order.rs` for more information
6 #![feature(let_chains)]
7 #![allow(irrefutable_let_patterns)]
9 use std::cell::RefCell;
12 pub struct DropLogger<'a, T> {
15 log: &'a panic::AssertUnwindSafe<RefCell<Vec<usize>>>
18 impl<'a, T> Drop for DropLogger<'a, T> {
20 self.log.0.borrow_mut().push(self.id);
24 struct InjectedFailure;
26 #[allow(unreachable_code)]
28 let log = panic::AssertUnwindSafe(RefCell::new(vec![]));
29 let d = |id, extra| DropLogger { extra, id: id, log: &log };
30 let get = || -> Vec<_> {
31 let mut m = log.0.borrow_mut();
42 if let Some(_) = d(2, Some(true)).extra && let DropLogger { .. } = d(3, None) {
52 if let DropLogger { .. } = d(7, None) && let DropLogger { .. } = d(8, None) {
56 // 10 is not constructed
60 assert_eq!(get(), vec![3, 8, 7, 1, 2]);
62 assert_eq!(get(), vec![0, 4, 6, 9, 5]);
64 let _ = std::panic::catch_unwind(|| {
70 if let Some(_) = d(13, Some(true)).extra
71 && let DropLogger { .. } = d(14, None)
82 if let DropLogger { .. } = d(18, None) && let DropLogger { .. } = d(19, None) {
86 // 10 is not constructed
89 panic::panic_any(InjectedFailure)
92 assert_eq!(get(), vec![14, 19, 20, 17, 15, 11, 18, 16, 12, 13]);