{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"write!(fmt,"}]}
                write!(fmt, "[{a:?}; ")?;
            Repeat(ref a, b) => {
                pretty_print_const(b, fmt, false)?;