Macro checked 

macro_rules! checked {
    ($($v:ident$(,)?)*) => { ... };
}

Redefines variables as Checked.

use gufo_common::math::checked;

let x = 1_u32;
let y = 2_u32;
checked![x];

assert_eq!((x + y).unwrap(), 3);

let x = 1_u32;
let y = 2_u32;
checked![y];

assert_eq!((x + y).unwrap(), 3);

let x = 5_u32;
let y = 2_u32;
checked![x, y,];

assert_eq!((x * y).unwrap(), 10);

let x = u32::MAX;
let y = 1;
checked![x, y,];

assert!((x + y).is_err());