1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22


use core::fmt::Arguments;
use crate::core::trig::TrigManuallyDrop;

/// A protected version of ManuallyDrop with a function to 
/// execute a panic in case of undefined behavior of the ManuallyDrop logic.
pub type AlwaysSafePanicManuallyDrop<T> = crate::beh::safe::SafeManuallyDrop<T, PanicTrigManuallyDrop>;

/// A secure or non-secure version of ManuallyDrop with a function to trigger 
/// a panic in case of undefined behavior of the ManuallyDrop logic.
pub type AutoSafePanicManuallyDrop<T> = crate::beh::auto::AutoSafeManuallyDrop<T, PanicTrigManuallyDrop>;

/// In case of undefined behavior of manual memory management, 
/// perform a normal panic.
pub enum PanicTrigManuallyDrop {}

impl TrigManuallyDrop for PanicTrigManuallyDrop {
	#[inline(always)]
	fn trig_next_invalid_beh<'a>(a: Arguments<'a>) -> trig_manuallydrop_returntype!() {
		panic!("{}", a);
	}
}