macro_rules! reveal_type {
    ($e:expr) => {
      {
        let e = $e;
        let ref _revealed : ! = e;
        e
      }
    }
}

fn main() {
    let u = reveal_type!("hello".to_string());
    println!("{}", u);
}