Macro moore_svlog::assert_type [−][src]
macro_rules! assert_type {
($lhs : expr, $rhs : expr, $span : expr, $emitter : expr) => { ... };
($lhs : expr, $rhs : expr, $span : expr, $emitter : expr,) => { ... };
($lhs : expr, $rhs : expr, $span : expr, $emitter : expr, $($arg : tt) +) => { ... };
}
Expand description
Assert that two types are identical, or emit a bug diagnostic and panic.