Macro validated_param 

macro_rules! validated_param {
    ($name:ident: $type:ty, $validator:ty, $value:expr) => { ... };
}

Macro for creating compile-time validated parameters