moore_svlog
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.