Macro checking_impl 

checking_impl!() { /* proc-macro */ }