Macro ensure_same_type

macro_rules! ensure_same_type {
    ($state:ident, $t1:expr, $t2:expr) => { ... };
}