macro_rules! assume {
($pattern:pat, $value:expr) => {
let _value = $value;
let $pattern = _value else {
debug_assert!(
false,
"assertion `left matches right` failed:
left: {}
right: {:?}",
stringify!($pattern),
_value
);
return;
};
};
}
pub(crate) use assume;
macro_rules! know {
($pattern:pat, $value:expr) => {
let _value = $value;
let $pattern = _value else {
unreachable!(
"assertion `left matches right` failed:
left: {}
right: {:?}",
stringify!($pattern),
_value
);
};
};
}
pub(crate) use know;