SafeManuallyDrop 1.0.3

A safe version of ManuallyDrop with various features and options to track undefined behavior when working with ManuallyDrop.
Documentation 
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108


/*
	def = if:
		always_deftrig_panic -> Panic else:
		always_deftrig_abort -> Abort else:
		always_deftrig_hookfn -> Hook else:
		always_deftrig_count -> Count else:
		always_deftrig_loop -> Loop
*/

#[cfg(all( // AUTO DEF (ALL-FEATURES)
	feature = "always_deftrig_hookfn",
	feature = "always_deftrig_panic",
	feature = "always_deftrig_abort",
	feature = "always_deftrig_count",
	feature = "always_deftrig_loop",
))]
/// Trigger is the default function that will be executed in case of undefined behavior of protected ManuallyDrop.
pub type DefTrigManuallyDrop = crate::core::trig::panic::PanicTrigManuallyDrop;

#[cfg(all(
	feature = "support_panic_trig",
	feature = "always_deftrig_panic",
	
	not(feature = "always_deftrig_hookfn"),
	//not(feature = "always_deftrig_panic"),
	not(feature = "always_deftrig_abort"),
	not(feature = "always_deftrig_count"),
	not(feature = "always_deftrig_loop"),
))]
/// Trigger is the default function that will be executed in case of undefined behavior of protected ManuallyDrop.
pub type DefTrigManuallyDrop = crate::core::trig::panic::PanicTrigManuallyDrop;

#[cfg(all(
	feature = "support_abort_trig",
	feature = "always_deftrig_abort",
	
	not(feature = "always_deftrig_hookfn"),
	not(feature = "always_deftrig_panic"),
	//not(feature = "always_deftrig_abort"),
	not(feature = "always_deftrig_count"),
	not(feature = "always_deftrig_loop"),
))]
/// Trigger is the default function that will be executed in case of undefined behavior of protected ManuallyDrop.
pub type DefTrigManuallyDrop = crate::core::trig::abort::AbortTrigManuallyDrop;

#[cfg(all(
	feature = "support_hookfn_trig",
	feature = "always_deftrig_hookfn",
	
	//not(feature = "always_deftrig_hookfn"),
	not(feature = "always_deftrig_panic"),
	not(feature = "always_deftrig_abort"),
	not(feature = "always_deftrig_count"),
	not(feature = "always_deftrig_loop"),
))]
/// Trigger is the default function that will be executed in case of undefined behavior of protected ManuallyDrop.
pub type DefTrigManuallyDrop = crate::core::trig::hook::HookFnTrigManuallyDrop;

#[cfg(all(
	feature = "support_count_trig",
	feature = "always_deftrig_count",
	
	not(feature = "always_deftrig_hookfn"),
	not(feature = "always_deftrig_panic"),
	not(feature = "always_deftrig_abort"),
	//not(feature = "always_deftrig_count"),
	not(feature = "always_deftrig_loop"),
))]
/// Trigger is the default function that will be executed in case of undefined behavior of protected ManuallyDrop.
pub type DefTrigManuallyDrop = crate::core::trig::counter::CounterTrigManuallyDrop;

#[cfg(all(
	feature = "always_deftrig_loop",
	
	not(feature = "always_deftrig_hookfn"),
	not(feature = "always_deftrig_panic"),
	not(feature = "always_deftrig_abort"),
	not(feature = "always_deftrig_count"),
	//not(feature = "always_deftrig_loop"),
))]
/// Trigger is the default function that will be executed in case of undefined behavior of protected ManuallyDrop.
pub type DefTrigManuallyDrop = crate::core::trig::r#loop::EmptyLoopTrigManuallyDrop;

/// Whether the default behavior autodetection was used for ManuallyDrop.
pub const IS_AUTO_DETECT_DEFTRIG: bool = false;

/// The build was done using all-features, the required behavior cannot be determined.
pub const IS_INVALID_AUTO_DETECT_DEFTRIG: bool = {
	#[cfg(all( // cargo check --all-features correct!
		feature = "always_deftrig_hookfn",
		feature = "always_deftrig_panic",
		feature = "always_deftrig_abort",
		feature = "always_deftrig_count",
		feature = "always_deftrig_loop"
	))] {
		true
	}
	#[cfg(not(all( // cargo check --all-features correct!
		feature = "always_deftrig_hookfn",
		feature = "always_deftrig_panic",
		feature = "always_deftrig_abort",
		feature = "always_deftrig_count",
		feature = "always_deftrig_loop"
	)))] {
		false
	}
};