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