Macro chalk_ir::cast::reflexive_impl

macro_rules! reflexive_impl {
    (for($($t:tt)*) $u:ty) => { ... };
    ($u:ty) => { ... };
}