macro_rules! ASSERT_IMPL {
    ($($t: tt)+) => { ... };
}