Macro get_solver_count 

macro_rules! get_solver_count {
    (
        $dollar:tt, $solver_ty:ident,
        [ $($id_tys:ident),* ]

        $( $lang_item:ident, $target:ident $(, $solver:ident)?; )*
    ) => { ... };
}