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
use super::*;
use std::fmt::Debug;
use std::ops::ControlFlow;
#[extend::ext(name=SweetControlFlow)]
pub impl<B: Debug, C: Debug> ControlFlow<B, C> {
/// Performs an assertion ensuring this value is a `ControlFlow::Continue`.
///
/// ## Example
///
/// ```
/// # use sweet::prelude::*;
/// # use std::ops::ControlFlow;
/// ControlFlow::<(),()>::Continue(()).xpect_continue();
/// ```
///
/// ## Panics
///
/// Panics if the value is not `ControlFlow::Continue`.
fn xpect_continue(&self) -> &Self {
match self {
ControlFlow::Continue(_) => self,
ControlFlow::Break(_) => {
assert_ext::panic_expected_received_display_debug(
"Continue", self,
);
}
}
}
/// Performs an assertion ensuring this value is a `ControlFlow::Break`.
///
/// ## Example
///
/// ```
/// # use sweet::prelude::*;
/// # use std::ops::ControlFlow;
/// ControlFlow::<(),()>::Break(()).xpect_break();
/// ```
///
/// ## Panics
///
/// Panics if the value is not `ControlFlow::Break`.
fn xpect_break(&self) -> &Self {
match self {
ControlFlow::Break(_) => self,
ControlFlow::Continue(_) => {
assert_ext::panic_expected_received_display_debug(
"Break", self,
);
}
}
}
}
#[cfg(test)]
mod test {
use std::ops::ControlFlow;
use crate::prelude::*;
#[test]
fn works() {
ControlFlow::<(), ()>::Continue(()).xpect_continue();
ControlFlow::<(), ()>::Break(()).xpect_break();
}
}