rail
f58a1695a6
fix a FP in interior_mutable_const
...
fix a false positive in two `interior_mutable_const` lints where a constant with enums gets linted
even if it uses a clearly unfrozen variant. Note that the code uses the MIR interpreter, which
the author of #3962 thought unlikely to be a solution. This might be over-engineering;
but, I think it's important to be able to work with the 'http' crate (#3825 ).
2020-10-04 18:15:28 +13:00
..
2020-08-17 13:55:05 +01:00
2020-09-28 19:17:22 +02:00
2020-10-04 18:15:28 +13:00
2020-08-11 17:50:45 +02:00
2020-07-14 14:59:59 +02:00
2020-09-29 23:06:08 +02:00
2020-10-04 18:15:28 +13:00
2020-07-11 09:22:17 +02:00
2020-07-14 14:59:59 +02:00
2020-08-28 18:43:25 +02:00
2020-04-04 12:52:03 -07:00
2020-09-30 23:30:49 +02:00
2020-09-30 09:43:46 +02:00
2019-08-28 07:23:23 +02:00
2019-08-28 07:23:23 +02:00
2020-08-29 15:33:54 -07:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-01-06 16:39:31 -08:00
2020-09-09 14:32:38 -07:00
2020-09-09 23:22:01 -07:00
2020-09-09 14:32:38 -07:00
2020-09-09 23:22:01 -07:00
2020-09-09 14:15:54 -07:00
2020-09-09 23:22:01 -07:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-05-17 12:17:03 +03:00
2020-06-23 17:05:22 +02:00
2020-06-23 17:05:22 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2019-07-09 17:02:26 +02:00
2020-06-10 01:35:47 +00:00
2020-06-03 09:04:24 +07:00
2020-06-09 14:36:01 +00:00
2020-08-11 17:50:45 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-04-08 00:43:27 +02:00
2020-08-10 23:49:06 +02:00
2020-05-28 15:45:24 +02:00
2020-05-28 15:45:24 +02:00
2020-07-14 14:59:59 +02:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2019-11-24 10:00:06 +01:00
2019-01-08 21:46:39 +01:00
2020-09-08 23:35:19 +09:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2019-08-14 21:47:11 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2019-04-16 20:32:54 +02:00
2020-04-15 17:18:12 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2019-11-22 13:47:33 +01:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-08-11 17:50:45 +02:00
2019-02-28 08:02:45 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-09-01 16:59:37 -04:00
2020-09-01 16:59:37 -04:00
2019-01-08 21:46:39 +01:00
2020-08-11 16:31:02 +02:00
2019-01-08 21:46:39 +01:00
2020-04-19 21:00:25 +02:00
2020-05-28 15:45:24 +02:00
2020-08-11 17:50:45 +02:00
2019-12-21 16:20:30 +01:00
2019-09-25 14:45:18 -07:00
2020-08-28 18:43:25 +02:00
2020-02-21 11:14:17 +01:00
2020-08-28 18:43:25 +02:00
2020-02-04 22:53:24 +01:00
2019-11-07 17:11:06 +01:00
2020-09-23 08:15:44 +12:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-04-02 18:56:10 -07:00
2020-09-15 00:20:31 +01:00
2020-04-09 08:08:36 +02:00
2020-09-15 00:20:31 +01:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-03-03 19:23:04 -08:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-06 13:23:17 -03:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-06 13:45:43 -03:00
2020-07-14 14:59:59 +02:00
2020-07-06 13:45:43 -03:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-06 13:45:43 -03:00
2020-02-05 20:54:58 +03:00
2019-12-01 19:07:02 +07:00
2019-10-26 21:54:04 +02:00
2020-08-02 23:20:00 +08:00
2019-09-03 06:25:54 +02:00
2020-09-10 17:47:07 +02:00
2020-05-20 16:46:30 +03:00
2019-03-09 13:48:06 -08:00
2020-08-28 18:43:25 +02:00
2019-01-08 21:46:39 +01:00
2020-08-11 16:43:53 +02:00
2020-06-23 17:05:22 +02:00
2020-08-28 18:43:25 +02:00
2020-04-23 16:30:06 -07:00
2020-06-10 01:35:47 +00:00
2020-08-28 18:43:25 +02:00
2020-10-02 07:02:58 +02:00
2020-10-02 07:02:58 +02:00
2020-09-17 10:11:10 +12:00
2020-09-17 10:11:10 +12:00
2020-09-17 10:11:10 +12:00
2019-08-28 07:23:23 +02:00
2020-08-28 18:43:25 +02:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-09-11 16:52:25 +02:00
2019-01-08 21:46:39 +01:00
2019-01-08 21:46:39 +01:00
2019-01-08 21:46:39 +01:00
2020-04-25 20:11:15 +02:00
2020-09-02 13:18:19 +02:00
2020-09-03 04:58:14 +02:00
2019-01-08 21:46:39 +01:00
2019-09-25 14:45:18 -07:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-08-28 18:43:25 +02:00
2020-07-26 21:07:07 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-04-09 09:09:39 +02:00
2019-11-13 21:44:29 +03:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-08-25 12:17:03 -07:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-09-14 06:11:35 +02:00
2020-09-14 06:11:35 +02:00
2019-08-05 09:31:08 +02:00
2020-06-23 17:05:22 +02:00
2020-06-23 17:05:22 +02:00
2020-06-23 17:05:22 +02:00
2020-08-03 00:36:28 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-09-15 21:32:27 +02:00
2020-09-14 06:11:35 +02:00
2020-04-25 22:52:19 +02:00
2020-04-25 22:52:19 +02:00
2020-08-28 18:43:25 +02:00
2020-09-08 19:37:14 -04:00
2020-09-08 19:37:14 -04:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2019-08-25 07:10:45 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-01-12 03:05:47 +09:00
2020-02-04 22:53:24 +01:00
2020-04-16 14:57:12 +02:00
2020-09-15 10:29:53 +02:00
2020-09-15 10:45:57 +02:00
2020-05-28 15:45:24 +02:00
2020-05-28 15:45:24 +02:00
2020-05-28 15:45:24 +02:00
2020-05-28 15:45:24 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-04-26 21:27:29 +02:00
2019-01-08 21:46:39 +01:00
2019-04-19 12:53:03 +02:00
2019-12-28 16:46:08 +01:00
2019-10-14 12:09:04 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-09-28 19:17:22 +02:00
2020-09-28 19:17:22 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-04-02 18:56:10 -07:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-02-06 19:15:01 +01:00
2020-08-16 00:25:54 +02:00
2020-08-28 18:43:25 +02:00
2020-09-30 00:33:46 +02:00
2020-09-30 00:33:46 +02:00
2020-07-10 07:39:28 -04:00
2020-01-07 18:38:12 +09:00
2020-10-02 00:49:05 +09:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-07-14 14:59:59 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-07-17 01:58:41 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-05-28 15:45:24 +02:00
2020-05-28 15:45:24 +02:00
2019-01-08 21:46:39 +01:00
2020-01-14 08:32:33 +09:00
2019-09-20 23:21:37 +09:00
2020-08-28 18:43:25 +02:00
2020-08-21 07:23:04 +02:00
2020-08-28 18:43:25 +02:00
2020-09-16 01:30:50 +02:00
2020-09-16 01:30:50 +02:00
2020-09-16 01:30:50 +02:00
2020-01-07 18:38:12 +09:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-09-09 17:59:13 +02:00
2020-05-28 15:45:24 +02:00
2020-05-28 15:45:24 +02:00
2020-09-23 00:39:00 +02:00
2020-09-23 00:39:00 +02:00
2020-09-23 00:34:56 +02:00
2020-07-03 00:04:48 +03:00
2020-07-03 00:04:48 +03:00
2020-08-11 17:50:45 +02:00
2020-09-09 14:02:34 -07:00
2020-09-09 14:02:34 -07:00
2019-10-18 07:40:48 +02:00
2020-07-26 21:07:07 +02:00
2020-07-26 21:07:07 +02:00
2020-08-11 17:50:45 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2019-01-08 21:46:39 +01:00
2020-09-26 23:10:25 +09:00
2020-09-16 11:25:53 -04:00
2020-09-16 11:25:53 -04:00
2020-02-04 22:53:24 +01:00
2020-05-28 15:45:24 +02:00
2020-05-28 15:45:24 +02:00
2020-05-28 15:45:24 +02:00
2020-05-28 15:45:24 +02:00
2020-07-08 18:37:20 +02:00
2020-07-08 18:37:20 +02:00
2020-07-08 18:37:20 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-08-11 17:50:45 +02:00
2020-09-15 21:11:28 -06:00
2020-09-15 21:11:28 -06:00
2020-09-15 21:11:28 -06:00
2020-09-15 21:11:28 -06:00
2020-09-15 21:11:28 -06:00
2020-09-15 21:11:28 -06:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-07-26 21:07:07 +02:00
2020-07-26 21:07:07 +02:00
2020-07-26 21:07:07 +02:00
2020-07-26 21:07:07 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-07-26 21:07:07 +02:00
2020-09-21 15:32:26 +02:00
2020-09-21 15:32:26 +02:00
2020-09-21 15:32:26 +02:00
2020-09-21 20:49:42 +03:00
2020-09-21 20:49:42 +03:00
2020-09-21 20:49:42 +03:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-07-14 14:59:59 +02:00
2020-08-11 17:50:45 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-06-23 17:05:22 +02:00
2020-06-17 01:26:37 +07:00
2020-04-04 14:16:26 -07:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-07-26 21:07:07 +02:00
2019-02-10 09:48:31 +01:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2020-02-06 19:15:01 +01:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-08-28 18:43:25 +02:00
2019-09-25 14:45:18 -07:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2019-11-15 16:25:47 +01:00
2019-11-15 16:25:47 +01:00
2020-09-10 17:47:07 +02:00
2020-09-10 15:23:38 +02:00
2019-11-10 15:52:59 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-09-13 23:23:45 +09:00
2020-09-13 23:23:45 +09:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2019-12-01 19:07:02 +07:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-09-10 17:47:07 +02:00
2020-08-18 22:19:30 +02:00
2020-08-28 18:43:25 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 14:21:27 +02:00
2020-08-11 17:50:45 +02:00
2020-08-28 18:43:25 +02:00
2020-08-22 12:58:35 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-07-14 14:59:59 +02:00
2020-07-14 14:59:59 +02:00
2019-11-25 18:12:52 +03:00
2020-10-03 00:07:56 +02:00
2020-10-03 00:07:56 +02:00
2020-04-02 18:31:31 -07:00
2020-06-09 14:36:01 +00:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-08-27 19:36:28 +02:00
2020-07-26 21:07:07 +02:00
2020-07-26 21:07:07 +02:00
2020-08-11 17:50:45 +02:00
2019-12-27 22:07:55 +09:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-09-16 19:59:51 +02:00
2020-09-16 19:59:51 +02:00
2020-09-16 19:59:51 +02:00
2019-01-08 21:46:39 +01:00
2020-08-11 17:50:45 +02:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-08-11 17:50:45 +02:00
2020-08-11 17:50:45 +02:00
2020-06-07 21:16:05 +02:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-07-14 14:59:59 +02:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-08-11 17:50:45 +02:00
2019-09-09 16:14:32 +07:00
2019-10-15 09:58:12 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-02-07 10:40:09 +07:00
2020-04-02 18:56:10 -07:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-09-10 17:47:07 +02:00
2020-05-28 15:45:24 +02:00
2020-09-13 12:50:39 +02:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-09-13 12:50:39 +02:00
2020-07-26 21:07:07 +02:00
2020-06-09 14:36:01 +00:00
2020-08-14 14:29:16 +02:00
2020-08-28 18:43:25 +02:00
2020-05-02 14:21:29 +03:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-06-09 14:36:01 +00:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2020-08-22 14:22:02 +02:00
2020-09-16 11:25:53 -04:00
2020-09-16 11:25:53 -04:00
2020-08-28 18:43:25 +02:00
2020-08-28 18:43:25 +02:00
2019-11-15 22:39:27 +01:00
2019-10-02 22:38:00 +07:00