Macro arg_check

macro_rules! arg_check {
    ($arg:expr => $t:pat, $e:literal, $n:literal) => { ... };
}