Guillaume Gomez
a9c125f864
Rollup merge of #125597 - compiler-errors:early-binder, r=jackh726
...
Uplift `EarlyBinder` into `rustc_type_ir`
We also need to give `EarlyBinder` a `'tcx` param, so that we can carry the `Interner` in the `EarlyBinder` too. This is necessary because otherwise we have an unconstrained `I: Interner` parameter in many of the `EarlyBinder`'s inherent impls.
I also generally think that this is desirable to have, in case we later want to track some state in the `EarlyBinder`.
r? lcnr
2024-05-27 13:10:36 +02:00
..
2024-05-02 19:48:29 +02:00
2024-05-18 11:27:29 +03:00
2024-05-23 07:41:18 +02:00
2024-04-29 10:21:54 +10:00
2024-05-17 18:33:37 -03:00
2024-05-26 15:28:26 -07:00
2024-05-23 06:03:17 +10:00
2024-05-21 20:16:39 +00:00
2024-05-24 18:06:53 +01:00
2024-05-23 07:41:18 +02:00
2024-05-23 23:39:26 +02:00
2024-05-23 23:39:26 +02:00
2024-05-24 03:04:06 +00:00
2024-05-27 13:10:34 +02:00
2024-05-24 23:01:09 +02:00
2024-05-11 08:00:15 +02:00
2024-05-24 17:43:02 -04:00
2024-05-13 07:53:38 +10:00
2024-05-27 08:44:12 +00:00
2024-05-27 08:44:12 +00:00
2024-05-27 13:10:35 +02:00
2024-05-22 04:14:08 +00:00
2024-04-24 14:35:02 +00:00
2024-05-17 18:33:37 -03:00
2024-05-27 13:10:36 +02:00
2024-05-21 00:47:02 +02:00
2024-05-27 08:44:12 +00:00
2024-05-24 15:17:21 +10:00
2024-04-18 15:36:25 +10:00
2024-04-03 19:06:22 +03:00
2024-05-27 06:36:57 +00:00
2024-05-24 18:41:31 +00:00
2024-04-24 09:41:44 +02:00
2024-05-27 13:10:36 +02:00
2024-05-27 13:10:34 +02:00
2024-05-23 14:58:30 -04:00
2024-05-21 10:54:36 +02:00
2024-05-27 08:44:12 +00:00
2024-05-26 20:04:05 -04:00
2024-05-27 13:10:36 +02:00
2024-05-26 07:55:47 +00:00
2024-05-23 18:02:40 +10:00
2024-05-27 08:44:12 +00:00
2024-05-24 21:53:39 -04:00
2024-05-21 17:00:45 -04:00
2024-05-23 18:02:40 +10:00
2024-04-18 15:36:25 +10:00
2024-05-23 21:36:54 +00:00
2024-05-23 04:08:35 +02:00
2024-05-13 11:59:42 -04:00
2024-05-13 08:20:18 +10:00
2024-05-21 20:12:29 -04:00
2024-05-23 07:41:17 +02:00
2024-05-18 18:12:18 +02:00
2024-05-21 20:12:30 -04:00
2024-05-24 18:41:31 +00:00
2024-05-27 13:10:36 +02:00
2024-05-22 16:03:48 +10:00
2024-05-17 18:33:37 -03:00
2024-05-24 20:12:42 +02:00
2024-05-27 13:10:36 +02:00
2024-05-13 11:59:42 -04:00
2024-05-01 15:57:33 +02:00
2024-05-27 13:10:36 +02:00
2024-05-26 20:53:00 -04:00
2024-05-11 18:20:00 -04:00
2024-05-24 18:06:57 +01:00