{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"deduplicated_err_count:"}]}
    deduplicated_err_count: usize,
    /// The error count shown to the user at the end.
    /// The warning count shown to the user at the end.