| #![feature(alloc_error_hook, allocator_api)] | 
 |  | 
 | use std::alloc::{AllocError, Allocator, Layout, System, set_alloc_error_hook}; | 
 | use std::collections::VecDeque; | 
 | use std::panic::{AssertUnwindSafe, catch_unwind}; | 
 | use std::ptr::NonNull; | 
 |  | 
 | #[test] | 
 | #[cfg_attr(not(panic = "unwind"), ignore = "test requires unwinding support")] | 
 | fn test_shrink_to_unwind() { | 
 |     // This tests that `shrink_to` leaves the deque in a consistent state when | 
 |     // the call to `RawVec::shrink_to_fit` unwinds. The code is adapted from #123369 | 
 |     // but changed to hopefully not have any UB even if the test fails. | 
 |  | 
 |     struct BadAlloc; | 
 |  | 
 |     unsafe impl Allocator for BadAlloc { | 
 |         fn allocate(&self, l: Layout) -> Result<NonNull<[u8]>, AllocError> { | 
 |             // We allocate zeroed here so that the whole buffer of the deque | 
 |             // is always initialized. That way, even if the deque is left in | 
 |             // an inconsistent state, no uninitialized memory should be accessed. | 
 |             System.allocate_zeroed(l) | 
 |         } | 
 |  | 
 |         unsafe fn deallocate(&self, ptr: NonNull<u8>, layout: Layout) { | 
 |             unsafe { System.deallocate(ptr, layout) } | 
 |         } | 
 |  | 
 |         unsafe fn shrink( | 
 |             &self, | 
 |             _ptr: NonNull<u8>, | 
 |             _old_layout: Layout, | 
 |             _new_layout: Layout, | 
 |         ) -> Result<NonNull<[u8]>, AllocError> { | 
 |             Err(AllocError) | 
 |         } | 
 |     } | 
 |  | 
 |     set_alloc_error_hook(|_| panic!("alloc error")); | 
 |  | 
 |     let mut v = VecDeque::with_capacity_in(15, BadAlloc); | 
 |     v.push_back(1); | 
 |     v.push_front(2); | 
 |     // This should unwind because it calls `BadAlloc::shrink` and then `handle_alloc_error` which unwinds. | 
 |     assert!(catch_unwind(AssertUnwindSafe(|| v.shrink_to_fit())).is_err()); | 
 |     // This should only pass if the deque is left in a consistent state. | 
 |     assert_eq!(v, [2, 1]); | 
 | } |