macro_rules! conforms {
    ($t:ty, $v:expr) => {
       {
         let x: $t = $v;
         x
       }
    };
}

fn main() {
    conforms!(u32, "x");
}