Macro rustc_middle::thir::thir_with_elements

macro_rules! thir_with_elements {
    ($($name:ident: $id:ty => $value:ty => $format:literal,)*) => { ... };
}