Macro impl_struct_checked

macro_rules! impl_struct_checked {
    ($ty:ident, $field_ty:ident, => $($field:tt)+) => { ... };
}