{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"color_config:"}]}
    color_config: ColorConfig,
    json_rendered: HumanReadableErrorType,
    diagnostic_width: Option<usize>,