Takayuki Maeda
9b9ea77641
Rollup merge of #117343 - Nadrieril:cleanup_check_match, r=davidtwco
...
Cleanup `rustc_mir_build/../check_match.rs`
The file had become pretty unwieldy, with a fair amount of duplication. As a bonus, I discovered that we weren't running some pattern checks in if-let chains.
I recommend looking commit-by-commit. The last commit is a whim, I think it makes more sense that way but I don't hold this opinion strongly.
2023-11-04 12:44:44 +09:00
..
2023-11-03 18:26:16 +01:00
2023-01-11 14:40:07 -08:00
2023-03-12 13:19:46 +00:00
2023-03-12 13:19:46 +00:00
2023-03-12 13:19:46 +00:00
2023-03-12 13:19:46 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-04-17 16:09:18 -04:00
2023-01-11 09:32:08 +00:00
2023-04-03 15:59:21 +00:00
2023-10-11 04:55:55 +02:00
2023-04-03 15:59:21 +00:00
2023-10-11 04:55:55 +02:00
2023-10-17 17:33:55 +00:00
2023-09-15 14:24:58 +00:00
2023-01-11 09:32:08 +00:00
2023-09-18 14:03:57 +00:00
2023-02-14 20:22:10 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-01-30 20:12:19 +00:00
2023-01-30 20:12:19 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-09-25 22:33:15 +02:00
2023-02-23 10:27:06 -07:00
2023-02-23 10:27:06 -07:00
2023-01-11 09:32:08 +00:00
2023-02-13 18:41:18 +00:00
2023-02-13 18:41:18 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-09-22 15:58:43 +02:00
2023-01-11 09:32:08 +00:00
2023-07-10 20:09:26 +00:00
2023-03-08 00:00:18 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-10-30 22:12:07 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-03-08 00:00:18 +00:00
2023-03-08 00:00:18 +00:00
2023-01-11 09:32:08 +00:00
2023-01-27 04:04:22 +03:00
2023-01-27 04:04:22 +03:00
2023-10-30 22:12:07 +00:00
2023-10-17 17:33:55 +00:00
2023-01-11 21:30:10 +00:00
2023-10-17 17:33:55 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-07-25 12:08:44 +01:00
2023-07-25 12:08:44 +01:00
2023-07-25 12:08:44 +01:00
2023-07-25 12:08:44 +01:00
2023-08-28 03:16:48 -07:00
2023-04-12 22:50:10 +00:00
2023-01-11 09:32:08 +00:00
2023-09-10 21:20:36 +00:00
2023-10-04 02:04:14 +00:00
2023-10-04 02:04:14 +00:00
2023-10-20 21:10:38 +00:00
2023-10-20 21:10:38 +00:00
2023-01-11 14:40:02 -08:00
2023-01-12 20:44:47 +00:00
2023-09-19 18:15:23 +02:00
2023-10-08 09:56:57 +00:00
2023-01-11 14:49:55 -08:00
2023-10-08 10:06:17 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-10-09 11:47:02 +00:00
2023-10-09 11:47:02 +00:00
2023-01-11 09:32:08 +00:00
2023-05-05 22:40:04 +12:00
2023-02-13 18:41:18 +00:00
2023-10-15 18:12:46 +02:00
2023-10-24 15:30:17 +00:00
2023-10-24 15:30:17 +00:00
2023-10-04 02:04:14 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-08-02 13:40:28 +03:00
2023-08-02 13:40:28 +03:00
2023-04-03 22:28:55 -05:00
2023-01-11 09:32:08 +00:00
2023-10-05 01:04:41 +00:00
2023-10-05 01:04:41 +00:00
2023-01-11 09:32:08 +00:00
2023-02-25 19:31:02 +13:00
2023-10-09 11:47:02 +00:00
2023-01-11 09:32:08 +00:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-07-10 20:09:26 +00:00
2023-01-15 19:46:20 +00:00
2023-07-10 20:09:26 +00:00
2023-01-11 09:32:08 +00:00
2023-01-15 19:46:20 +00:00
2023-07-10 20:09:26 +00:00
2023-02-14 20:26:03 +00:00
2023-02-06 06:58:30 -05:00
2023-02-06 06:58:30 -05:00
2023-01-11 09:32:08 +00:00
2023-01-11 09:32:08 +00:00
2023-06-05 21:00:08 +00:00
2023-01-11 09:32:08 +00:00
2023-10-21 15:56:01 +00:00
2023-01-11 09:32:08 +00:00
2023-01-15 19:46:20 +00:00
2023-08-30 19:24:44 +01:00
2023-10-05 01:04:41 +00:00
2023-01-11 09:32:08 +00:00
2023-01-18 13:14:56 +13:00
2023-01-18 13:14:56 +13:00
2023-08-04 13:17:39 +02:00
2023-08-29 14:47:28 -07:00
2023-08-29 14:47:28 -07:00
2023-01-11 09:32:08 +00:00
2023-02-22 08:40:47 -07:00
2023-02-22 08:40:47 -07:00
2023-06-30 00:34:14 +00:00
2023-01-11 09:32:08 +00:00
2023-09-22 15:58:43 +02:00
2023-05-01 15:45:28 +00:00
2023-10-30 22:12:07 +00:00
2023-05-18 01:47:55 +00:00
2023-05-18 01:47:55 +00:00
2023-09-21 22:20:58 +02:00
2023-05-05 21:42:54 +01:00
2023-05-05 21:42:54 +01:00
2023-01-23 20:38:14 +13:00
2023-10-05 01:04:41 +00:00
2023-07-16 15:36:19 +02:00
2023-01-11 09:32:08 +00:00