Macro diag_assert

macro_rules! diag_assert {
    ($span:expr, $condition:expr) => { ... };
    ($span:expr, $condition:expr, $($rest:tt)*) => { ... };
}