solarized.rs

  1// This file was generated by the `theme_importer`.
  2// Be careful when modifying it by hand.
  3
  4use gpui::rgba;
  5
  6#[allow(unused)]
  7use crate::{
  8    Appearance, StatusColorsRefinement, ThemeColorsRefinement, UserFontStyle, UserFontWeight,
  9    UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily, UserThemeStylesRefinement,
 10};
 11
 12pub fn solarized() -> UserThemeFamily {
 13    UserThemeFamily {
 14        name: "Solarized".into(),
 15        author: "Zed Industries".into(),
 16        themes: vec![
 17            UserTheme {
 18                name: "Solarized Light".into(),
 19                appearance: Appearance::Light,
 20                styles: UserThemeStylesRefinement {
 21                    colors: ThemeColorsRefinement {
 22                        border: Some(rgba(0x9faaa8ff).into()),
 23                        border_variant: Some(rgba(0x9faaa8ff).into()),
 24                        elevated_surface_background: Some(rgba(0xcfd0c4ff).into()),
 25                        background: Some(rgba(0xcfd0c4ff).into()),
 26                        panel_background: Some(rgba(0xf3eddaff).into()),
 27                        element_hover: Some(rgba(0x9faaa880).into()),
 28                        element_selected: Some(rgba(0x7f919480).into()),
 29                        text: Some(rgba(0x34555eff).into()),
 30                        text_muted: Some(rgba(0x788b8fff).into()),
 31                        text_placeholder: Some(rgba(0x788b8fff).into()),
 32                        text_disabled: Some(rgba(0x002b36ff).into()),
 33                        text_accent: Some(rgba(0x298bd1ff).into()),
 34                        status_bar_background: Some(rgba(0xcfd0c4ff).into()),
 35                        title_bar_background: Some(rgba(0xcfd0c4ff).into()),
 36                        toolbar_background: Some(rgba(0xfdf6e3ff).into()),
 37                        tab_bar_background: Some(rgba(0xf3eddaff).into()),
 38                        tab_inactive_background: Some(rgba(0xf3eddaff).into()),
 39                        tab_active_background: Some(rgba(0xfdf6e3ff).into()),
 40                        scrollbar_thumb_background: Some(rgba(0x002b364d).into()),
 41                        scrollbar_thumb_hover_background: Some(rgba(0x002b364d).into()),
 42                        scrollbar_thumb_border: Some(rgba(0xf5eedbff).into()),
 43                        scrollbar_track_border: Some(rgba(0xf5eedbff).into()),
 44                        editor_foreground: Some(rgba(0x002b36ff).into()),
 45                        editor_background: Some(rgba(0xfdf6e3ff).into()),
 46                        editor_gutter_background: Some(rgba(0xfdf6e3ff).into()),
 47                        editor_line_number: Some(rgba(0x002b3659).into()),
 48                        editor_active_line_number: Some(rgba(0x002b36ff).into()),
 49                        editor_wrap_guide: Some(rgba(0x002b360d).into()),
 50                        editor_active_wrap_guide: Some(rgba(0x002b361a).into()),
 51                        terminal_background: Some(rgba(0xfdf6e3ff).into()),
 52                        terminal_ansi_bright_black: Some(rgba(0x7b8e91ff).into()),
 53                        terminal_ansi_bright_red: Some(rgba(0xfaa091ff).into()),
 54                        terminal_ansi_bright_green: Some(rgba(0xc6cb8bff).into()),
 55                        terminal_ansi_bright_yellow: Some(rgba(0xe1c28aff).into()),
 56                        terminal_ansi_bright_blue: Some(rgba(0xa5c3e9ff).into()),
 57                        terminal_ansi_bright_magenta: Some(rgba(0xf0a2bfff).into()),
 58                        terminal_ansi_bright_cyan: Some(rgba(0x9fd0cbff).into()),
 59                        terminal_ansi_bright_white: Some(rgba(0x002b36ff).into()),
 60                        terminal_ansi_black: Some(rgba(0xfdf6e3ff).into()),
 61                        terminal_ansi_red: Some(rgba(0xdc3330ff).into()),
 62                        terminal_ansi_green: Some(rgba(0x859904ff).into()),
 63                        terminal_ansi_yellow: Some(rgba(0xb58904ff).into()),
 64                        terminal_ansi_blue: Some(rgba(0x298bd1ff).into()),
 65                        terminal_ansi_magenta: Some(rgba(0xd33882ff).into()),
 66                        terminal_ansi_cyan: Some(rgba(0x2ca198ff).into()),
 67                        terminal_ansi_white: Some(rgba(0x002b36ff).into()),
 68                        ..Default::default()
 69                    },
 70                    status: StatusColorsRefinement {
 71                        created: Some(rgba(0xa0ad46ff).into()),
 72                        deleted: Some(rgba(0xdc3330ff).into()),
 73                        error: Some(rgba(0xdc3330ff).into()),
 74                        modified: Some(rgba(0xb58904ff).into()),
 75                        success: Some(rgba(0x002b36ff).into()),
 76                        warning: Some(rgba(0xb58904ff).into()),
 77                        ..Default::default()
 78                    },
 79                    syntax: Some(UserSyntaxTheme {
 80                        highlights: vec![
 81                            (
 82                                "attribute".into(),
 83                                UserHighlightStyle {
 84                                    color: Some(rgba(0x298bd1ff).into()),
 85                                    ..Default::default()
 86                                },
 87                            ),
 88                            (
 89                                "boolean".into(),
 90                                UserHighlightStyle {
 91                                    color: Some(rgba(0x859904ff).into()),
 92                                    ..Default::default()
 93                                },
 94                            ),
 95                            (
 96                                "comment".into(),
 97                                UserHighlightStyle {
 98                                    color: Some(rgba(0x30525bff).into()),
 99                                    ..Default::default()
100                                },
101                            ),
102                            (
103                                "comment.doc".into(),
104                                UserHighlightStyle {
105                                    color: Some(rgba(0x30525bff).into()),
106                                    ..Default::default()
107                                },
108                            ),
109                            (
110                                "constant".into(),
111                                UserHighlightStyle {
112                                    color: Some(rgba(0x859904ff).into()),
113                                    ..Default::default()
114                                },
115                            ),
116                            (
117                                "constructor".into(),
118                                UserHighlightStyle {
119                                    color: Some(rgba(0x298bd1ff).into()),
120                                    ..Default::default()
121                                },
122                            ),
123                            (
124                                "embedded".into(),
125                                UserHighlightStyle {
126                                    color: Some(rgba(0x002b36ff).into()),
127                                    ..Default::default()
128                                },
129                            ),
130                            (
131                                "emphasis".into(),
132                                UserHighlightStyle {
133                                    color: Some(rgba(0x298bd1ff).into()),
134                                    ..Default::default()
135                                },
136                            ),
137                            (
138                                "emphasis.strong".into(),
139                                UserHighlightStyle {
140                                    color: Some(rgba(0x298bd1ff).into()),
141                                    font_weight: Some(UserFontWeight(700.0)),
142                                    ..Default::default()
143                                },
144                            ),
145                            (
146                                "enum".into(),
147                                UserHighlightStyle {
148                                    color: Some(rgba(0xcb4c18ff).into()),
149                                    ..Default::default()
150                                },
151                            ),
152                            (
153                                "function".into(),
154                                UserHighlightStyle {
155                                    color: Some(rgba(0xb58904ff).into()),
156                                    ..Default::default()
157                                },
158                            ),
159                            (
160                                "hint".into(),
161                                UserHighlightStyle {
162                                    color: Some(rgba(0x5889a3ff).into()),
163                                    font_weight: Some(UserFontWeight(700.0)),
164                                    ..Default::default()
165                                },
166                            ),
167                            (
168                                "keyword".into(),
169                                UserHighlightStyle {
170                                    color: Some(rgba(0x298bd1ff).into()),
171                                    ..Default::default()
172                                },
173                            ),
174                            (
175                                "label".into(),
176                                UserHighlightStyle {
177                                    color: Some(rgba(0x298bd1ff).into()),
178                                    ..Default::default()
179                                },
180                            ),
181                            (
182                                "link_text".into(),
183                                UserHighlightStyle {
184                                    color: Some(rgba(0xcb4c18ff).into()),
185                                    font_style: Some(UserFontStyle::Italic),
186                                    ..Default::default()
187                                },
188                            ),
189                            (
190                                "link_uri".into(),
191                                UserHighlightStyle {
192                                    color: Some(rgba(0x859904ff).into()),
193                                    ..Default::default()
194                                },
195                            ),
196                            (
197                                "number".into(),
198                                UserHighlightStyle {
199                                    color: Some(rgba(0x859904ff).into()),
200                                    ..Default::default()
201                                },
202                            ),
203                            (
204                                "operator".into(),
205                                UserHighlightStyle {
206                                    color: Some(rgba(0xcb4c18ff).into()),
207                                    ..Default::default()
208                                },
209                            ),
210                            (
211                                "predictive".into(),
212                                UserHighlightStyle {
213                                    color: Some(rgba(0x679aafff).into()),
214                                    font_style: Some(UserFontStyle::Italic),
215                                    ..Default::default()
216                                },
217                            ),
218                            (
219                                "preproc".into(),
220                                UserHighlightStyle {
221                                    color: Some(rgba(0x002b36ff).into()),
222                                    ..Default::default()
223                                },
224                            ),
225                            (
226                                "primary".into(),
227                                UserHighlightStyle {
228                                    color: Some(rgba(0x002b36ff).into()),
229                                    ..Default::default()
230                                },
231                            ),
232                            (
233                                "property".into(),
234                                UserHighlightStyle {
235                                    color: Some(rgba(0x298bd1ff).into()),
236                                    ..Default::default()
237                                },
238                            ),
239                            (
240                                "punctuation".into(),
241                                UserHighlightStyle {
242                                    color: Some(rgba(0x05333eff).into()),
243                                    ..Default::default()
244                                },
245                            ),
246                            (
247                                "punctuation.bracket".into(),
248                                UserHighlightStyle {
249                                    color: Some(rgba(0x05333eff).into()),
250                                    ..Default::default()
251                                },
252                            ),
253                            (
254                                "punctuation.delimiter".into(),
255                                UserHighlightStyle {
256                                    color: Some(rgba(0x05333eff).into()),
257                                    ..Default::default()
258                                },
259                            ),
260                            (
261                                "punctuation.list_marker".into(),
262                                UserHighlightStyle {
263                                    color: Some(rgba(0x05333eff).into()),
264                                    ..Default::default()
265                                },
266                            ),
267                            (
268                                "punctuation.special".into(),
269                                UserHighlightStyle {
270                                    color: Some(rgba(0x05333eff).into()),
271                                    ..Default::default()
272                                },
273                            ),
274                            (
275                                "string".into(),
276                                UserHighlightStyle {
277                                    color: Some(rgba(0xcb4c18ff).into()),
278                                    ..Default::default()
279                                },
280                            ),
281                            (
282                                "string.escape".into(),
283                                UserHighlightStyle {
284                                    color: Some(rgba(0x30525bff).into()),
285                                    ..Default::default()
286                                },
287                            ),
288                            (
289                                "string.regex".into(),
290                                UserHighlightStyle {
291                                    color: Some(rgba(0xcb4c18ff).into()),
292                                    ..Default::default()
293                                },
294                            ),
295                            (
296                                "string.special".into(),
297                                UserHighlightStyle {
298                                    color: Some(rgba(0xcb4c18ff).into()),
299                                    ..Default::default()
300                                },
301                            ),
302                            (
303                                "string.special.symbol".into(),
304                                UserHighlightStyle {
305                                    color: Some(rgba(0xcb4c18ff).into()),
306                                    ..Default::default()
307                                },
308                            ),
309                            (
310                                "tag".into(),
311                                UserHighlightStyle {
312                                    color: Some(rgba(0x298bd1ff).into()),
313                                    ..Default::default()
314                                },
315                            ),
316                            (
317                                "text.literal".into(),
318                                UserHighlightStyle {
319                                    color: Some(rgba(0xcb4c18ff).into()),
320                                    ..Default::default()
321                                },
322                            ),
323                            (
324                                "title".into(),
325                                UserHighlightStyle {
326                                    color: Some(rgba(0x002b36ff).into()),
327                                    font_weight: Some(UserFontWeight(700.0)),
328                                    ..Default::default()
329                                },
330                            ),
331                            (
332                                "type".into(),
333                                UserHighlightStyle {
334                                    color: Some(rgba(0x2ca198ff).into()),
335                                    ..Default::default()
336                                },
337                            ),
338                            (
339                                "variable".into(),
340                                UserHighlightStyle {
341                                    color: Some(rgba(0x002b36ff).into()),
342                                    ..Default::default()
343                                },
344                            ),
345                            (
346                                "variant".into(),
347                                UserHighlightStyle {
348                                    color: Some(rgba(0x298bd1ff).into()),
349                                    ..Default::default()
350                                },
351                            ),
352                        ],
353                    }),
354                },
355            },
356            UserTheme {
357                name: "Solarized Dark".into(),
358                appearance: Appearance::Dark,
359                styles: UserThemeStylesRefinement {
360                    colors: ThemeColorsRefinement {
361                        border: Some(rgba(0x2b4f58ff).into()),
362                        border_variant: Some(rgba(0x2b4f58ff).into()),
363                        elevated_surface_background: Some(rgba(0x083743ff).into()),
364                        background: Some(rgba(0x083743ff).into()),
365                        panel_background: Some(rgba(0x04313cff).into()),
366                        element_hover: Some(rgba(0x2b4f5880).into()),
367                        element_selected: Some(rgba(0x566d7480).into()),
368                        text: Some(rgba(0x93a1a1ff).into()),
369                        text_muted: Some(rgba(0x5f757dff).into()),
370                        text_placeholder: Some(rgba(0x5f757dff).into()),
371                        text_disabled: Some(rgba(0xfdf6e3ff).into()),
372                        text_accent: Some(rgba(0x288bd1ff).into()),
373                        status_bar_background: Some(rgba(0x083743ff).into()),
374                        title_bar_background: Some(rgba(0x083743ff).into()),
375                        toolbar_background: Some(rgba(0x002b36ff).into()),
376                        tab_bar_background: Some(rgba(0x04313cff).into()),
377                        tab_inactive_background: Some(rgba(0x04313cff).into()),
378                        tab_active_background: Some(rgba(0x002b36ff).into()),
379                        scrollbar_thumb_background: Some(rgba(0xfdf6e34d).into()),
380                        scrollbar_thumb_hover_background: Some(rgba(0xfdf6e34d).into()),
381                        scrollbar_thumb_border: Some(rgba(0x032f3bff).into()),
382                        scrollbar_track_border: Some(rgba(0x032f3bff).into()),
383                        editor_foreground: Some(rgba(0xfdf6e3ff).into()),
384                        editor_background: Some(rgba(0x002b36ff).into()),
385                        editor_gutter_background: Some(rgba(0x002b36ff).into()),
386                        editor_line_number: Some(rgba(0xfdf6e359).into()),
387                        editor_active_line_number: Some(rgba(0xfdf6e3ff).into()),
388                        editor_wrap_guide: Some(rgba(0xfdf6e30d).into()),
389                        editor_active_wrap_guide: Some(rgba(0xfdf6e31a).into()),
390                        terminal_background: Some(rgba(0x002b36ff).into()),
391                        terminal_ansi_bright_black: Some(rgba(0x5c7279ff).into()),
392                        terminal_ansi_bright_red: Some(rgba(0x7d181cff).into()),
393                        terminal_ansi_bright_green: Some(rgba(0x434a11ff).into()),
394                        terminal_ansi_bright_yellow: Some(rgba(0x5d4310ff).into()),
395                        terminal_ansi_bright_blue: Some(rgba(0x214465ff).into()),
396                        terminal_ansi_bright_magenta: Some(rgba(0x6f1f40ff).into()),
397                        terminal_ansi_bright_cyan: Some(rgba(0x204e4aff).into()),
398                        terminal_ansi_bright_white: Some(rgba(0xfdf6e3ff).into()),
399                        terminal_ansi_black: Some(rgba(0x002b36ff).into()),
400                        terminal_ansi_red: Some(rgba(0xdc3330ff).into()),
401                        terminal_ansi_green: Some(rgba(0x859904ff).into()),
402                        terminal_ansi_yellow: Some(rgba(0xb58903ff).into()),
403                        terminal_ansi_blue: Some(rgba(0x288bd1ff).into()),
404                        terminal_ansi_magenta: Some(rgba(0xd33782ff).into()),
405                        terminal_ansi_cyan: Some(rgba(0x2ca198ff).into()),
406                        terminal_ansi_white: Some(rgba(0xfdf6e3ff).into()),
407                        ..Default::default()
408                    },
409                    status: StatusColorsRefinement {
410                        created: Some(rgba(0x859904ff).into()),
411                        deleted: Some(rgba(0xb52727ff).into()),
412                        error: Some(rgba(0xdc3330ff).into()),
413                        modified: Some(rgba(0xb58903ff).into()),
414                        success: Some(rgba(0xfdf6e3ff).into()),
415                        warning: Some(rgba(0xb58903ff).into()),
416                        ..Default::default()
417                    },
418                    syntax: Some(UserSyntaxTheme {
419                        highlights: vec![
420                            (
421                                "attribute".into(),
422                                UserHighlightStyle {
423                                    color: Some(rgba(0x288bd1ff).into()),
424                                    ..Default::default()
425                                },
426                            ),
427                            (
428                                "boolean".into(),
429                                UserHighlightStyle {
430                                    color: Some(rgba(0x859904ff).into()),
431                                    ..Default::default()
432                                },
433                            ),
434                            (
435                                "comment".into(),
436                                UserHighlightStyle {
437                                    color: Some(rgba(0x99a5a4ff).into()),
438                                    ..Default::default()
439                                },
440                            ),
441                            (
442                                "comment.doc".into(),
443                                UserHighlightStyle {
444                                    color: Some(rgba(0x99a5a4ff).into()),
445                                    ..Default::default()
446                                },
447                            ),
448                            (
449                                "constant".into(),
450                                UserHighlightStyle {
451                                    color: Some(rgba(0x859904ff).into()),
452                                    ..Default::default()
453                                },
454                            ),
455                            (
456                                "constructor".into(),
457                                UserHighlightStyle {
458                                    color: Some(rgba(0x288bd1ff).into()),
459                                    ..Default::default()
460                                },
461                            ),
462                            (
463                                "embedded".into(),
464                                UserHighlightStyle {
465                                    color: Some(rgba(0xfdf6e3ff).into()),
466                                    ..Default::default()
467                                },
468                            ),
469                            (
470                                "emphasis".into(),
471                                UserHighlightStyle {
472                                    color: Some(rgba(0x288bd1ff).into()),
473                                    ..Default::default()
474                                },
475                            ),
476                            (
477                                "emphasis.strong".into(),
478                                UserHighlightStyle {
479                                    color: Some(rgba(0x288bd1ff).into()),
480                                    font_weight: Some(UserFontWeight(700.0)),
481                                    ..Default::default()
482                                },
483                            ),
484                            (
485                                "enum".into(),
486                                UserHighlightStyle {
487                                    color: Some(rgba(0xcb4b17ff).into()),
488                                    ..Default::default()
489                                },
490                            ),
491                            (
492                                "function".into(),
493                                UserHighlightStyle {
494                                    color: Some(rgba(0xb58903ff).into()),
495                                    ..Default::default()
496                                },
497                            ),
498                            (
499                                "hint".into(),
500                                UserHighlightStyle {
501                                    color: Some(rgba(0x4f8297ff).into()),
502                                    font_weight: Some(UserFontWeight(700.0)),
503                                    ..Default::default()
504                                },
505                            ),
506                            (
507                                "keyword".into(),
508                                UserHighlightStyle {
509                                    color: Some(rgba(0x288bd1ff).into()),
510                                    ..Default::default()
511                                },
512                            ),
513                            (
514                                "label".into(),
515                                UserHighlightStyle {
516                                    color: Some(rgba(0x288bd1ff).into()),
517                                    ..Default::default()
518                                },
519                            ),
520                            (
521                                "link_text".into(),
522                                UserHighlightStyle {
523                                    color: Some(rgba(0xcb4b17ff).into()),
524                                    font_style: Some(UserFontStyle::Italic),
525                                    ..Default::default()
526                                },
527                            ),
528                            (
529                                "link_uri".into(),
530                                UserHighlightStyle {
531                                    color: Some(rgba(0x859904ff).into()),
532                                    ..Default::default()
533                                },
534                            ),
535                            (
536                                "number".into(),
537                                UserHighlightStyle {
538                                    color: Some(rgba(0x859904ff).into()),
539                                    ..Default::default()
540                                },
541                            ),
542                            (
543                                "operator".into(),
544                                UserHighlightStyle {
545                                    color: Some(rgba(0xcb4b17ff).into()),
546                                    ..Default::default()
547                                },
548                            ),
549                            (
550                                "predictive".into(),
551                                UserHighlightStyle {
552                                    color: Some(rgba(0x40728bff).into()),
553                                    font_style: Some(UserFontStyle::Italic),
554                                    ..Default::default()
555                                },
556                            ),
557                            (
558                                "preproc".into(),
559                                UserHighlightStyle {
560                                    color: Some(rgba(0xfdf6e3ff).into()),
561                                    ..Default::default()
562                                },
563                            ),
564                            (
565                                "primary".into(),
566                                UserHighlightStyle {
567                                    color: Some(rgba(0xfdf6e3ff).into()),
568                                    ..Default::default()
569                                },
570                            ),
571                            (
572                                "property".into(),
573                                UserHighlightStyle {
574                                    color: Some(rgba(0x288bd1ff).into()),
575                                    ..Default::default()
576                                },
577                            ),
578                            (
579                                "punctuation".into(),
580                                UserHighlightStyle {
581                                    color: Some(rgba(0xefe9d6ff).into()),
582                                    ..Default::default()
583                                },
584                            ),
585                            (
586                                "punctuation.bracket".into(),
587                                UserHighlightStyle {
588                                    color: Some(rgba(0xefe9d6ff).into()),
589                                    ..Default::default()
590                                },
591                            ),
592                            (
593                                "punctuation.delimiter".into(),
594                                UserHighlightStyle {
595                                    color: Some(rgba(0xefe9d6ff).into()),
596                                    ..Default::default()
597                                },
598                            ),
599                            (
600                                "punctuation.list_marker".into(),
601                                UserHighlightStyle {
602                                    color: Some(rgba(0xefe9d6ff).into()),
603                                    ..Default::default()
604                                },
605                            ),
606                            (
607                                "punctuation.special".into(),
608                                UserHighlightStyle {
609                                    color: Some(rgba(0xefe9d6ff).into()),
610                                    ..Default::default()
611                                },
612                            ),
613                            (
614                                "string".into(),
615                                UserHighlightStyle {
616                                    color: Some(rgba(0xcb4b17ff).into()),
617                                    ..Default::default()
618                                },
619                            ),
620                            (
621                                "string.escape".into(),
622                                UserHighlightStyle {
623                                    color: Some(rgba(0x99a5a4ff).into()),
624                                    ..Default::default()
625                                },
626                            ),
627                            (
628                                "string.regex".into(),
629                                UserHighlightStyle {
630                                    color: Some(rgba(0xcb4b17ff).into()),
631                                    ..Default::default()
632                                },
633                            ),
634                            (
635                                "string.special".into(),
636                                UserHighlightStyle {
637                                    color: Some(rgba(0xcb4b17ff).into()),
638                                    ..Default::default()
639                                },
640                            ),
641                            (
642                                "string.special.symbol".into(),
643                                UserHighlightStyle {
644                                    color: Some(rgba(0xcb4b17ff).into()),
645                                    ..Default::default()
646                                },
647                            ),
648                            (
649                                "tag".into(),
650                                UserHighlightStyle {
651                                    color: Some(rgba(0x288bd1ff).into()),
652                                    ..Default::default()
653                                },
654                            ),
655                            (
656                                "text.literal".into(),
657                                UserHighlightStyle {
658                                    color: Some(rgba(0xcb4b17ff).into()),
659                                    ..Default::default()
660                                },
661                            ),
662                            (
663                                "title".into(),
664                                UserHighlightStyle {
665                                    color: Some(rgba(0xfdf6e3ff).into()),
666                                    font_weight: Some(UserFontWeight(700.0)),
667                                    ..Default::default()
668                                },
669                            ),
670                            (
671                                "type".into(),
672                                UserHighlightStyle {
673                                    color: Some(rgba(0x2ca198ff).into()),
674                                    ..Default::default()
675                                },
676                            ),
677                            (
678                                "variable".into(),
679                                UserHighlightStyle {
680                                    color: Some(rgba(0xfdf6e3ff).into()),
681                                    ..Default::default()
682                                },
683                            ),
684                            (
685                                "variant".into(),
686                                UserHighlightStyle {
687                                    color: Some(rgba(0x288bd1ff).into()),
688                                    ..Default::default()
689                                },
690                            ),
691                        ],
692                    }),
693                },
694            },
695        ],
696    }
697}