bors
3b75db7aa6
Auto merge of #116163 - compiler-errors:lazyness, r=oli-obk
...
Don't store lazyness in `DefKind::TyAlias`
1. Don't store lazyness of a type alias in its `DefKind`, but instead via a query.
2. This allows us to treat type aliases as lazy if `#[feature(lazy_type_alias)]` *OR* if the alias contains a TAIT, rather than having checks for both in separate parts of the codebase.
r? `@oli-obk` cc `@fmease`
2023-09-27 01:48:53 +00:00
..
2023-09-25 11:28:58 +02:00
2023-08-04 13:17:39 +02:00
2023-09-25 11:28:58 +02:00
2023-09-25 11:28:58 +02:00
2023-09-26 21:32:44 +00:00
2023-07-02 14:59:02 +02:00
2023-09-21 09:00:22 +00:00
2023-09-25 11:28:58 +02:00
2023-09-25 11:28:58 +02:00
2023-09-25 11:28:58 +02:00
2023-09-25 11:28:58 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-31 23:53:53 +02:00
2023-07-02 14:59:02 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00
2023-09-25 11:28:58 +02:00
2023-09-23 13:34:09 +00:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-02 14:59:02 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-03-21 15:38:51 +00:00
2023-06-02 11:41:57 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-07-14 13:27:35 +01:00
2023-09-25 11:28:58 +02:00
2023-09-12 18:44:06 +02:00
2023-09-14 07:34:35 +00:00
2023-09-12 18:44:06 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-04-11 15:31:08 +02:00
2023-09-25 11:28:58 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-08-24 21:32:12 +02:00
2023-07-17 10:22:32 +02:00
2023-09-21 08:12:30 +02:00
2023-09-25 11:28:58 +02:00
2023-09-25 11:28:58 +02:00
2023-07-17 10:22:32 +02:00
2023-08-11 14:05:13 +02:00
2023-08-24 21:32:12 +02:00
2023-09-25 11:28:58 +02:00
2023-09-25 11:28:58 +02:00
2023-07-02 14:59:02 +02:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-09-25 11:28:58 +02:00
2023-07-02 14:59:02 +02:00
2023-09-25 11:28:58 +02:00
2023-07-02 14:59:02 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 21:04:12 +00:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-09-12 18:44:06 +02:00
2023-07-17 10:22:32 +02:00
2023-05-20 15:39:26 +02:00
2023-07-14 13:27:35 +01:00
2023-09-12 18:44:06 +02:00
2023-08-04 13:17:39 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-31 23:53:53 +02:00
2023-09-26 02:53:59 +00:00
2023-07-17 10:22:32 +02:00
2023-04-11 15:31:08 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-07-17 10:22:32 +02:00
2023-06-02 11:41:57 +02:00
2023-08-24 21:32:12 +02:00
2023-09-25 11:28:58 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-02 14:59:02 +02:00
2023-09-25 11:28:58 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-05-05 17:45:49 +02:00
2023-03-24 14:26:19 +01:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-08-11 14:05:13 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-03-24 14:26:19 +01:00
2023-09-12 18:44:06 +02:00
2023-07-17 10:22:32 +02:00
2023-08-24 21:32:12 +02:00
2023-07-14 13:27:35 +01:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-04-11 15:31:08 +02:00
2023-07-31 23:53:53 +02:00
2023-07-02 14:59:02 +02:00
2023-09-25 11:28:58 +02:00
2023-07-02 14:59:02 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-09-25 11:28:58 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-08-09 14:17:54 +08:00
2023-05-05 17:45:49 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00
2023-08-11 14:05:13 +02:00
2023-07-17 10:22:32 +02:00
2023-04-23 13:28:56 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-08-24 21:32:12 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-07-31 23:53:53 +02:00
2023-08-14 21:43:56 +00:00
2023-05-05 17:45:49 +02:00
2023-08-24 21:32:12 +02:00
2023-09-25 11:28:58 +02:00
2023-03-24 14:26:19 +01:00
2023-09-25 11:28:58 +02:00
2023-09-25 11:28:58 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-04-23 13:28:56 +02:00
2023-07-17 10:22:32 +02:00
2023-07-31 23:53:53 +02:00
2023-08-11 14:05:13 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-03-21 15:38:51 +00:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-08-14 21:43:56 +00:00
2023-08-11 14:05:13 +02:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-02 14:59:02 +02:00
2023-09-21 19:18:14 +00:00
2023-08-11 14:05:13 +02:00
2023-08-04 13:17:39 +02:00
2023-07-31 23:53:53 +02:00
2023-08-24 21:32:12 +02:00
2023-03-28 01:14:28 +00:00
2023-05-20 15:39:26 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-08-24 21:32:12 +02:00
2023-08-14 21:43:56 +00:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-09-12 18:44:06 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-11 15:51:19 +00:00
2023-08-11 14:05:13 +02:00
2023-08-04 13:17:39 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-05-05 17:45:49 +02:00
2023-07-02 14:59:02 +02:00
2023-08-24 21:32:12 +02:00
2023-09-12 18:44:06 +02:00
2023-05-05 17:45:49 +02:00
2023-07-14 13:27:35 +01:00
2023-09-12 18:44:06 +02:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-11 15:51:19 +00:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-07-02 14:59:02 +02:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-25 11:28:58 +02:00
2023-07-14 13:27:35 +01:00