Macro moore_svlog::assert_type

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)+) => { ... };
}

Assert that two types are identical, or emit a bug diagnostic and panic.