{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"pretty:"}]}
        pretty: false,
    const JSON: ErrorOutputType = ErrorOutputType::Json {
        json_rendered: HumanReadableErrorType::Default,