bors
5a8dfd933a
Auto merge of #85158 - JulianKnodt:array_const_val, r=cjgillot
...
Mir-Opt for copying enums with large discrepancies
I have been meaning to make this for quite a while, based off of this [hackmd](https://hackmd.io/ `@ft4bxUsFT5CEUBmRKYHr7w/rJM8BBPzD).`
I'm not sure where to put this opt now that I've made it, so I'd appreciate suggestions on that!
It's also one long chain of statements, not sure if there's a more friendly format to make it.
r? `@tmiasko`
I would `r` oli but he's on leave so he suggested I `r` tmiasko or wesleywiser.
2023-02-10 21:49:31 +00:00
..
2023-02-02 07:34:41 +01:00
2023-02-06 12:17:41 +01:00
2022-12-10 18:45:34 +01:00
2022-12-10 18:45:34 +01:00
2023-02-03 23:04:51 +05:30
2023-02-06 17:40:18 +03:00
2023-01-19 13:52:15 +01:00
2023-02-07 21:00:12 +00:00
2023-01-05 19:01:12 +01:00
2023-02-10 10:10:12 +00:00
2023-02-09 11:47:12 +11:00
2023-02-09 12:38:16 +01:00
2023-01-30 17:11:35 +00:00
2023-02-10 00:02:43 +00:00
2023-02-06 17:40:18 +03:00
2023-02-09 15:28:04 +11:00
2023-02-06 15:22:12 +01:00
2023-02-02 07:47:39 +01:00
2023-02-10 15:28:47 +01:00
2023-02-06 06:58:30 -05:00
2023-02-10 02:22:08 -08:00
2023-02-09 22:28:53 +08:00
2023-02-07 21:00:12 +00:00
2023-01-31 19:24:29 +00:00
2022-12-01 17:34:43 +00:00
2023-01-05 19:01:12 +01:00
2023-02-07 19:05:53 +00:00
2023-02-09 10:38:45 +00:00
2023-01-30 12:26:26 +00:00
2023-02-09 23:18:36 +05:30
2023-01-30 17:11:35 +00:00
2023-01-19 15:25:33 +00:00
2023-02-10 15:28:47 +01:00
2023-02-10 06:09:57 +01:00
2023-01-17 08:09:33 +00:00
2023-02-06 12:57:37 +00:00
2023-02-09 11:47:12 +11:00
2023-02-07 06:51:58 -08:00
2023-02-10 15:07:55 +01:00
2023-02-01 21:49:45 +01:00
2023-02-07 17:57:13 +01:00
2023-02-10 10:10:12 +00:00
2023-02-06 17:40:18 +03:00
2023-02-08 18:32:41 +01:00
2023-02-10 21:49:31 +00:00
2023-01-31 10:20:58 +00:00
2023-02-09 11:21:57 +01:00
2023-02-03 06:30:23 +01:00
2023-02-05 03:47:58 +01:00
2023-02-06 17:40:18 +03:00
2023-02-09 15:25:45 +11:00
2023-02-08 16:59:18 +00:00
2023-02-10 10:10:12 +00:00
2023-01-31 07:54:01 +00:00
2022-12-10 18:45:34 +01:00
2023-02-10 06:09:56 +01:00
2023-02-08 07:13:26 +01:00
2023-02-09 10:26:49 +00:00
2023-02-09 12:28:01 +09:00
2023-02-10 06:09:59 +01:00
2023-02-10 10:10:12 +00:00
2023-01-18 10:22:21 -08:00
2023-02-07 03:35:10 +00:00
2023-02-09 10:26:50 +00:00